alms-0.4.9: examples/ex57-signatures.alms

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

module A : sig
  type +`a t qualifier a
end = struct
  type `a t = `a
end