Up
Index of module types
A
Accessors
[
Hash_set_intf
]
Accessors
[
Core_hashtbl_intf
]
Accessors0
[
Core_set_intf
]
Accessors1
[
Core_set_intf
]
Accessors1
[
Core_map_intf
]
Accessors2
[
Core_set_intf
]
Accessors2
[
Core_map_intf
]
Accessors2_with_comparator
[
Core_set_intf
]
Accessors3
[
Core_map_intf
]
Accessors3_with_comparator
[
Core_map_intf
]
Accessors_generic
[
Core_set_intf
]
Accessors_generic
[
Core_map_intf
]
Arg
[
Stable_unit_test_intf
]
B
Base
[
Make_substring
]
Basic
[
Monad
]
Basic2
[
Monad
]
Multi parameter monad.
Binable
[
Interfaces
]
C
Comparable
[
Interfaces
]
Comparable_binable
[
Interfaces
]
Comparable_sexpable
[
Tuple
]
Contents
[
Bucket
]
Creators
[
Hash_set_intf
]
Creators
[
Core_hashtbl_intf
]
Creators0
[
Core_set_intf
]
Creators1
[
Core_set_intf
]
Creators1
[
Core_map_intf
]
Creators2
[
Core_set_intf
]
Creators2
[
Core_map_intf
]
Creators2_with_comparator
[
Core_set_intf
]
Creators3_with_comparator
[
Core_map_intf
]
Creators_and_accessors0
[
Core_set_intf
]
Creators_and_accessors1
[
Core_set_intf
]
Creators_and_accessors1
[
Core_map_intf
]
Creators_and_accessors2
[
Core_set_intf
]
Creators_and_accessors2
[
Core_map_intf
]
Creators_and_accessors2_with_comparator
[
Core_set_intf
]
Creators_and_accessors3_with_comparator
[
Core_map_intf
]
Creators_and_accessors_generic
[
Core_set_intf
]
Creators_and_accessors_generic
[
Core_map_intf
]
Creators_generic
[
Core_set_intf
]
Creators_generic
[
Core_map_intf
]
E
Elt
[
Hash_set
]
Elt
[
Core_set
]
Elt
[
Core_set_intf
]
Elt_binable
[
Hash_set
]
Elt_binable
[
Core_set
]
Elt_binable
[
Core_set_intf
]
F
Flags
[
Flags_intf
]
Floatable
[
Interfaces
]
G
Generic
[
Container
]
Generic_phantom
[
Container
]
H
Hashable
[
Interfaces
]
Hashable
[
Core_hashtbl_intf
]
Hashable_binable
[
Interfaces
]
Hashable_sexpable
[
Tuple
]
Hashtbl
[
Core_hashtbl_intf
]
I
Id
[
Unique_id_intf
]
Id
[
Unique_id
]
Identifiable
[
Interfaces
]
Infix
[
Polymorphic_compare_intf
]
Infix
[
Monad
]
Infix
[
Comparable
]
Infix
[
Comparable_intf
]
Infix2
[
Monad
]
Same as Infix, except the monad type has two arguments.
Infix_comparators
[
Interfaces
]
Injective
[
Type_equal
]
Injective
is an interface that states that a type is injective, where the type is viewed as a function from types to other types.
Injective2
[
Type_equal
]
Injective2
is for a binary type that is injective in both type arguments.
Intable
[
Interfaces
]
K
Key
[
Hash_queue
]
Key
[
Hash_heap
]
Key
[
Core_map
]
Key
[
Core_map_intf
]
Key
[
Core_hashtbl_intf.Hashtbl
]
Key
[
Core_hashtbl_intf
]
Key_binable
[
Core_map
]
Key_binable
[
Core_map_intf
]
Key_binable
[
Core_hashtbl_intf.Hashtbl
]
Key_binable
[
Core_hashtbl_intf
]
M
Make_arg
[
Flags_intf.Flags
]
Make_arg
[
Flags_intf
]
Map_and_set_binable
[
Comparable
]
Map_and_set_binable
[
Comparable_intf
]
Monad
[
Interfaces
]
P
Polymorphic_compare
[
Comparable_intf
]
Pre
[
Comparator
]
Pre_binable
[
Comparator
]
R
Raw
[
Validated_intf.S
]
Raw
[
Validated_intf
]
Raw_binable
[
Validated_intf
]
Robustly_comparable
[
Interfaces
]
S
S
[
Validated_intf
]
S
[
Unit
]
S
[
Substring_intf
]
S
[
Stringable
]
S
[
Stack_intf
]
S
[
Sexpable
]
S
[
Robustly_comparable
]
S
[
Pretty_printer
]
Modules that provide a pretty printer will match
S
.
S
[
Polymorphic_compare_intf
]
S
[
Monad
]
S
[
Make_substring
]
S
[
Invariant
]
S
[
Int_intf
]
S
[
Intable
]
S
[
Identifiable
]
S
[
Hash_set
]
S
[
Hash_set_intf
]
S
[
Hash_queue
]
S
[
Hash_heap
]
S
[
Hashable
]
S
[
Float_robust_compare
]
S
[
Float_intf
]
S
[
Floatable
]
S
[
Flags_intf.Flags
]
S
[
Flags_intf
]
module type S
is the interface for a set of flags.
S
[
Equal
]
S
[
Core_set
]
S
[
Core_map
]
S
[
Core_map_intf
]
S
[
Core_hashtbl_intf.Hashtbl
]
S
[
Core_hashtbl_intf
]
S
[
Constrained_float
]
S
[
Comparator
]
S
[
Comparable
]
S
[
Comparable_intf
]
S
[
Commutative_group
]
S
[
Bucket
]
S
[
Binable
]
S0
[
Core_set_intf
]
S0
[
Container
]
S0_binable
[
Core_set_intf
]
S0_phantom
[
Container
]
S1
[
Sexpable
]
S1
[
Invariant
]
S1
[
Equal
]
S1
[
Container
]
S1
[
Comparator
]
S1
[
Binable
]
S1_phantom
[
Container
]
S1_phantom_invariant
[
Container
]
S2
[
Sexpable
]
S2
[
Monad
]
The same as S except the monad type has two arguments.
S2
[
Invariant
]
S2
[
Equal
]
S2
[
Binable
]
S3
[
Sexpable
]
S3
[
Invariant
]
S3
[
Equal
]
S_binable
[
Hash_set
]
S_binable
[
Hash_set_intf
]
S_binable
[
Hashable
]
S_binable
[
Core_set
]
S_binable
[
Core_map
]
S_binable
[
Core_map_intf
]
S_binable
[
Core_hashtbl_intf.Hashtbl
]
S_binable
[
Core_hashtbl_intf
]
S_binable
[
Comparator
]
S_binable
[
Comparable
]
S_binable
[
Comparable_intf
]
S_common
[
Comparable
]
S_common
[
Comparable_intf
]
Sexpable
[
Interfaces
]
Stringable
[
Interfaces
]
T
T
T
[
Container
]
T1
[
T
]
T2
[
T
]
T3
[
T
]
T_bin
[
T
]
U
Unique_id
[
Std_kernel
]
Unit
[
Interfaces
]
Unordered_container_arg
[
Stable_unit_test_intf
]
V
Validate
[
Comparable
]
Validate
[
Comparable_intf
]
Validated
[
Validated_intf.S
]
Validated
[
Validated_intf
]
Validated
[
Std_kernel
]
Validated_binable
[
Validated_intf
]
W
With_zero
[
Comparable
]
With_zero
[
Comparable_intf
]