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
|