alms-0.4.9: examples/ex50-signatures.alms

(* Signature tests -- should print type error *)

module type S = sig
  type t
  val f : t -> t -o t
end

module A = struct
  type t = int
  let f  = (+)
end

module B : S = A
module C : S = A