Index of module types


A
Accessors [Hash_set_intf]
Accessors [Core_set_intf]
Accessors [Core_map_intf]
Accessors [Core_hashtbl_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_set_intf]
Creators [Core_map_intf]
Creators [Core_hashtbl_intf]
Creators_and_accessors [Core_set_intf]
Creators_and_accessors [Core_map_intf]

E
Elt [Hash_set]
Elt [Core_set_intf]
Elt [Set]
Elt_binable [Hash_set]
Elt_binable [Core_set_intf]
Elt_binable [Set]

F
Flags [Flags_intf]
Floatable [Interfaces]

G
Gen [Interval_intf]
Gen_set [Interval_intf]
Generic [Container]
Generic_phantom [Container]

H
Hashable [Interfaces]
Hashable [Core_hashtbl_intf]
Hashable_binable [Interfaces]
Hashable_sexpable [Tuple]

I
Id [Unique_id_intf]
Id [Unique_id]
Identifiable [Interfaces]
Infix [Polymorphic_compare_intf]
Infix [Monad]
Infix [Comparable]
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 [Piecewise_linear]
Key [Hash_queue]
Key [Hash_heap]
Key [Core_map_intf]
Key [Map]
Key [Core_hashtbl_intf]
Key [Hashtbl]
Key_binable [Core_map_intf]
Key_binable [Map]
Key_binable [Core_hashtbl_intf]
Key_binable [Hashtbl]

M
Make_arg [Flags_intf.Flags]
Make_arg [Flags_intf]
Map_and_set_binable [Comparable]
Monad [Interfaces]

P
Polymorphic_compare [Comparable]
Pre [Comparator]
Pre_binable [Comparator]

R
Robustly_comparable [Interfaces]

S
S [Unit]
S [Substring_intf]
S [Stringable]
S [Sexpable]
S [Robustly_comparable]
S [Polymorphic_compare_intf]
S [Piecewise_linear]
S [Monad]
S [Make_substring]
S [Invariant]
S [Int_intf]
S [Interval_intf]
S [Interval]
S [Intable]
S [Identifiable]
S [Hash_set_intf]
S [Hash_set]
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_intf]
S [Set]
S [Core_map_intf]
S [Map]
S [Core_hashtbl_intf]
S [Hashtbl]
S [Constrained_float]
S [Comparator]
S [Comparable]
S [Commutative_group]
S [Bucket]
S [Binable]
S0 [Container]
S0_phantom [Container]
S1 [Sexpable]
S1 [Invariant]
S1 [Interval_intf]
S1 [Interval]
S1 [Equal]
S1 [Container]
S1 [Comparator]
S1 [Binable]
S1_phantom [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_intf]
S_binable [Hash_set]
S_binable [Hashable]
S_binable [Core_set_intf]
S_binable [Set]
S_binable [Core_map_intf]
S_binable [Map]
S_binable [Core_hashtbl_intf]
S_binable [Hashtbl]
S_binable [Comparator]
S_binable [Comparable]
S_common [Comparable]
Sexpable [Interfaces]
Stringable [Interfaces]

T
T
T [Container]
T1 [T]
T2 [T]
T_bin [T]

U
Unique_id [Std]
Unit [Interfaces]