blob: b5f62166b770bce92041b1977f184c302bd7af21 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
structure M : sig datatype t = A | B end = struct
datatype t = A | B
end
val a = M.A
datatype u = datatype M.t
val a : M.t = A
val a2 : u = a
structure M2 = M
structure M3 : sig datatype t = datatype M.t end = M2
structure M4 : sig datatype t = datatype M.t end = M
val b : M3.t = M4.B
structure Ma : sig type t end = M
structure Magain : sig datatype t = A | B end = M
|