Module Type
-
type alias= int -
type private_= private int -
type 'a constructor= 'a -
type arrow= int -> int -
type higher_order= (int -> int) -> int -
type labeled= l:int -> int -
type optional= ?l:int -> int -
type labeled_higher_order= (l:int -> int) -> (?l:int -> int) -> int -
type pair= int * int -
type parens_dropped= int * int -
type triple= int * int * int -
type nested_pair= (int * int) * int -
type instance= int constructor -
type variant_e={a : int;} -
type variant=|A|B of int|Cfoo
|Dbar
|E of variant_e -
type variant_c={a : int;} -
type _ gadt=|A : int gadt|B : int -> string gadt|C : variant_c -> unit gadt -
type degenerate_gadt=|A : degenerate_gadt -
type private_variant= private|A -
type record={a : int;mutable b : int;c : int;foo
d : int;bar
e : a. 'a;} -
type polymorphic_variant=[|`A|`B of int|`C of int * unit|`D] -
type polymorphic_variant_extension=[|polymorphic_variant|`E] -
type nested_polymorphic_variant=[|`A of [ `B | `C ]] -
type private_extenion#row -
and private_extenion= private[>|polymorphic_variant] -
type object_= < a : int; b : int; c : int; >
module type X = sig ... end
-
type module_= (module X) -
type module_substitution= (module X with type t = int and type u = unit) -
type +'a covariant -
type -'a contravariant -
type _ bivariant= int -
type ('a, 'b) binary -
type using_binary= (int, int) binary -
type 'custom name -
type 'a constrained= 'aconstraint 'a = int -
type 'a exact_variant= 'aconstraint 'a = [ `A | `B of int ] -
type 'a lower_variant= 'aconstraint 'a = [> `A | `B of int ] -
type 'a any_variant= 'aconstraint 'a = [> ] -
type 'a upper_variant= 'aconstraint 'a = [< `A | `B of int ] -
type 'a named_variant= 'aconstraint 'a = [< polymorphic_variant ] -
type 'a exact_object= 'aconstraint 'a = < a : int; b : int; > -
type 'a lower_object= 'aconstraint 'a = < a : int; b : int; .. > -
type 'a poly_object= 'aconstraint 'a = < a : a. 'a; > -
type ('a, 'b) double_constrained= 'a * 'bconstraint 'a = int constraint 'b = unit -
type as_= int as 'a * 'a -
type extensible=..
-
type extensible +=Extension|Another_extension