blob: 76033b3c4e3bc2ccf01bd64f36fb3cc272ffa7fa (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
(* TEST
* expect
*)
type 'a seq = 'a list
module Make (A : sig type t end) = struct
type t = A.t seq
end
module H = Make (struct type t end)
[%%expect{|
type 'a seq = 'a list
module Make : functor (A : sig type t end) -> sig type t = A.t seq end
module H : sig type t end
|}]
|
