alms-0.4.9: examples/ex53-signatures.alms

(* Signature tests -- should print nothing *)

module A : sig
  type `a t qualifier a
end = struct
  type `a t = unit
  let f[`b] (x: `b t) = (x, x)
end

let f['b] (x: 'b A.t) = (x, x)