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]
Blit [Blit_intf]

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 [Blit_intf]
Elt_binable [Hash_set]
Elt_binable [Core_set]
Elt_binable [Core_set_intf]

F
Flags [Flags_intf]
Flat_array [Flat_array_debug]
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]
Invariant [Invariant_intf]

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]
Pool [Pool_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 [Pool_intf.Pool]
S [Pool_intf]
S is the module type for a pool.
S [Polymorphic_compare_intf]
S [Monad]
S [Make_substring]
S [Invariant_intf.Invariant]
S [Invariant_intf]
S [Int_intf]
S [Intable]
S [Identifiable]
S [Heap_intf]
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]
Usage example:
S [Commutative_group]
S [Bucket]
S [Blit_intf.Blit]
S [Blit_intf]
S [Binable]
S0 [Core_set_intf]
S0 [Container]
S0_binable [Core_set_intf]
S0_phantom [Container]
S1 [Sexpable]
S1 [Invariant_intf.Invariant]
S1 [Invariant_intf]
S1 [Equal]
S1 [Container]
S1 [Comparator]
S1 [Blit_intf.Blit]
S1 [Blit_intf]
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_intf.Invariant]
S2 [Invariant_intf]
S2 [Equal]
S2 [Binable]
S3 [Sexpable]
S3 [Invariant_intf.Invariant]
S3 [Invariant_intf]
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]
S_distinct [Blit_intf.Blit]
S_distinct [Blit_intf]
Sequence [Blit_intf]
Sexpable [Interfaces]
Slot [Tuple_type_intf]
Slot [Tuple_type]
Slots [Tuple_type_intf]
Slots [Tuple_type]
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]