Type
type instance
= int constructor
type long
=
labeled_higher_order
->
[ `Bar
| `Baz of triple
]
->
pair
->
labeled
->
higher_order
->
(string -> int)
->
(int * float * char * string * char * unit) option
->
nested_pair
->
arrow
->
string ->
nested_pair array
module
type
X
= sig ...
end
type module_
=
(module
X)
type using_binary
=
(int, int) binary
type 'a named_variant
= 'a
constraint
'a =
[<
polymorphic_variant ]
type
extensible +=
|
Extension
|
(*
Documentation for
|
|
Another_extension
|
(*
Documentation for
|