blob: 663537467884843907b83e5560ef836bb8df31e1 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
(* TEST *)
module M =
(((struct
module N = struct let s = "Hello" end
module A = N
module B = A
module C = B
end : sig
module A : sig val s : string end
module B = A
module C = B
end) : sig
module B : sig val s : string end
module C = B
end) : sig
module C : sig val s : string end
end)
|
