Module Recent
module type S = sig ... end
-
type variant=|A|B of int|Cfoo
|Dbar
|E of{a : int;} -
type _ gadt=|A : int gadt|B : int -> string gadtfoo
|C :{a : int;}-> unit gadt -
type polymorphic_variant=[|`A|`B of int|`Cfoo
|`Dbar
] -
type nonrec nonrec_= int -
type empty_conj=|X : [< `X of & 'a & int * float ] -> empty_conj -
type conj=|X : [< `X of int & [< `B of int & float ] ] -> conj
module Z : sig ... end
module X : sig ... end