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]
Applicative [Interfaces]
Arg [Stable_unit_test_intf]
Args [Applicative_intf]	argument lists and associated N-ary map and apply functions
Args2 [Applicative_intf]
B
Base [Make_substring]
Basic [Monad_intf.Monad]
Basic [Monad_intf]
Basic [Applicative_intf]
Basic2 [Monad_intf.Monad]
Basic2 [Monad_intf]	Multi parameter monad.
Basic2 [Applicative_intf]
Binable [Interfaces]
Binary_searchable [Binary_searchable_intf]
Blit [Blit_intf]
C
Comparable [Interfaces]
Comparable_binable [Interfaces]
Comparable_sexpable [Tuple]
Container [Container_intf]
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_intf]
Elt [Core_set]	The signature that something needs to match in order to be used as a set element.
Elt [Blit_intf]
Elt_binable [Hash_set]
Elt_binable [Core_set_intf]
Elt_binable [Core_set]	The signature that something needs to match in order to be used as a set element if the resulting set is going to support `bin_io`.
F
Flags [Flags_intf]
Flat_array [Flat_array_debug]
Floatable [Interfaces]
Focused [Either_intf]	Many functions in `Either` focus on just one constructor.
G
Generic [Container_intf.Container]
Generic [Container_intf]
Generic_phantom [Container_intf.Container]
Generic_phantom [Container_intf]
H
Hashable [Interfaces]
Hashable [Core_hashtbl_intf]
Hashable_binable [Interfaces]
Hashable_sexpable [Tuple]
Hashtbl [Core_hashtbl_intf]
Hexable [Int_intf]
I
Id [Unique_id_intf]
Id [Unique_id]
Identifiable [Interfaces]
Indexable [Binary_searchable_intf.Binary_searchable]
Indexable [Binary_searchable_intf]	An `Indexable` type is a finite sequence of elements indexed by consecutive integers `0` ...
Indexable1 [Binary_searchable_intf.Binary_searchable]
Indexable1 [Binary_searchable_intf]
Infix [Polymorphic_compare_intf]
Infix [Monad_intf.Monad]
Infix [Monad_intf]
Infix [Comparable_intf]
Infix [Comparable]
Infix2 [Monad_intf.Monad]
Infix2 [Monad_intf]	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]
Interval_num [Timing_wheel_intf]	An `Interval_num.t` is an index of one of the intervals into which a timing-wheel partitions time.
Invariant [Invariant_intf]
K
Key [Total_map]
Key [Hash_queue]
Key [Hash_heap]
Key [Core_map_intf]
Key [Core_map]
Key [Core_hashtbl_intf.Hashtbl]
Key [Core_hashtbl_intf]
Key_binable [Core_map_intf]
Key_binable [Core_map]
Key_binable [Core_hashtbl_intf.Hashtbl]
Key_binable [Core_hashtbl_intf]
M
Make_arg [Flags_intf.Flags]
Make_arg [Flags_intf]
Make_arg [Container_intf]
Map_and_set_binable [Comparable_intf]
Map_and_set_binable [Comparable]
Monad [Monad_intf]
Monad [Interfaces]
P
Polymorphic_compare [Comparable_intf]
Pool [Pool_intf]
Q
Quickcheck [Quickcheck_intf]
Quickcheck_config [Quickcheck_intf]
R
Raw [Validated_intf.S]
Raw [Validated_intf]
Raw_binable [Validated_intf]
Robustly_comparable [Interfaces]
Round [Int_intf]
S
S [Validated_intf]
S [Univ_map_intf]
S [Unit]
S [Total_map]
S [Substring_intf]
S [Stringable]
S [String_id]
S [Stack_intf]
S [Stable_containers.Hashable.V1]
S [Stable_containers.Comparable.V1]
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_intf.Monad]
S [Monad_intf]
S [Make_substring]
S [Invariant_intf.Invariant]
S [Invariant_intf]
S [Intable]
S [Int_intf]
S [Identifiable]
S [Heap_intf]
S [Hashable]
S [Hash_set_intf]
S [Hash_set]
S [Hash_queue]
S [Hash_heap]
S [Floatable]
S [Float_robust_compare]
S [Float_intf]
S [Flags_intf.Flags]
S [Flags_intf]	`module type S` is the interface for a set of flags.
S [Equal]
S [Either_intf]
S [Core_set]	Module signature for a Set.
S [Core_map_intf]
S [Core_map]
S [Core_hashtbl_intf.Hashtbl]
S [Core_hashtbl_intf]
S [Constrained_float]
S [Comparator]
S [Comparable_intf]	Usage example:
S [Comparable]
S [Commutative_group]
S [Bucket]
S [Blit_intf.Blit]
S [Blit_intf]
S [Binary_searchable_intf.Binary_searchable]
S [Binary_searchable_intf]
S [Binable]
S [Applicative_intf]
S0 [Stable_module_types]
S0 [Core_set_intf]
S0 [Container_intf.Container]
S0 [Container_intf]
S0_binable [Core_set_intf]
S0_phantom [Container_intf.Container]
S0_phantom [Container_intf]
S1 [Univ_map_intf]
S1 [Stable_module_types]
S1 [Sexpable]
S1 [Invariant_intf.Invariant]
S1 [Invariant_intf]
S1 [Equal]
S1 [Container_intf.Container]
S1 [Container_intf]
S1 [Comparator]
S1 [Blit_intf.Blit]
S1 [Blit_intf]
S1 [Binary_searchable_intf.Binary_searchable]
S1 [Binary_searchable_intf]
S1 [Binable]
S1_permissions [Container_intf.Container]
S1_permissions [Container_intf]
S1_permissions [Blit_intf.Blit]
S1_permissions [Blit_intf]
S1_permissions [Binary_searchable_intf.Binary_searchable]
S1_permissions [Binary_searchable_intf]
S1_phantom [Container_intf.Container]
S1_phantom [Container_intf]
S1_phantom_invariant [Container_intf.Container]
S1_phantom_invariant [Container_intf]
S2 [Stable_module_types]
S2 [Sexpable]
S2 [Monad_intf.Monad]
S2 [Monad_intf]	The same as S except the monad type has two arguments.
S2 [Invariant_intf.Invariant]
S2 [Invariant_intf]
S2 [Equal]
S2 [Binable]
S2 [Applicative_intf]
S3 [Sexpable]
S3 [Invariant_intf.Invariant]
S3 [Invariant_intf]
S3 [Equal]
S_binable [Hashable]
S_binable [Hash_set_intf]
S_binable [Hash_set]
S_binable [Core_set]	Module signature for a Set that supports `bin_io`.
S_binable [Core_map_intf]
S_binable [Core_map]
S_binable [Core_hashtbl_intf.Hashtbl]
S_binable [Core_hashtbl_intf]
S_binable [Comparable_intf]
S_binable [Comparable]
S_common [Comparable_intf]
S_common [Comparable]
S_distinct [Blit_intf.Blit]
S_distinct [Blit_intf]
S_permissions [Blit_intf.Blit]
S_permissions [Blit_intf]
Sequence [Blit_intf]
Sexpable [Interfaces]
Slot [Tuple_type_intf]
Slot [Tuple_type]
Slots [Tuple_type_intf]
Slots [Tuple_type]
Stable [Interfaces]
Stable1 [Interfaces]
Stable2 [Interfaces]
Stringable [Interfaces]
T
T
T [Int_math]
T1 [T]
T2 [T]
T3 [T]
T_bin [T]
Timing_wheel [Timing_wheel_intf]
Timing_wheel_time [Timing_wheel_intf]	`Timing_wheel_time` is used to parameterize the timing-wheel interface over both `Time` and `Time_ns`.
U
Unique_id [Std_kernel]
Unit [Interfaces]
Unordered_container_arg [Stable_unit_test_intf]
V
Validate [Comparable_intf]
Validate [Comparable]
Validated [Validated_intf.S]
Validated [Validated_intf]
Validated [Std_kernel]
Validated_binable [Validated_intf.S]
Validated_binable [Validated_intf]
W
With_zero [Comparable_intf]
With_zero [Comparable]