Up
Module
M
(
X
: sig .. end)
Parameters
X
: sig .. end
Signature
module
Tag_internal
: sig .. end
module
Tag
: sig .. end
Witness of a tag, that is an item in a variant type, also called an "applied variant Constructor"
module
Variant_internal
: sig .. end
module
Variant
: sig .. end
module
Field_internal
: sig .. end
module
Field
: sig .. end
module
Record_internal
: sig .. end
module
Record
: sig .. end