1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
|
(* TEST
expect;
*)
module C = struct
class c = object end
end
module R = struct
include C
type c
end
[%%expect {|
module C : sig class c : object end end
module R : sig type c end
|}]
module CT = struct
include C
class type c = object end
end
[%%expect {|
module CT : sig class type c = object end end
|}]
module P = struct
type t = private < .. >
end
module M = struct
include P
type t = A
end
[%%expect {|
module P : sig type t = private < .. > end
module M : sig type t = A end
|}]
|
