path: root/testsuite/tests/typing-signatures/pr6371.ml

(* TEST
 toplevel;
*)

module M = struct
  type t = int * (< m : 'a > as 'a)
end;;

module type S =
    sig module M : sig type t end end with module M = M
;;