Index of module types


B
Basic [Packed_array]
Basic is the minimal interface you need to provide to make a packed array for a new type.
Bounded [Number.Verified_std]
Signature of bounded numbers
Bounded_spec [Number.Verified_std]
Specification of bounded numbers

F
Foldable [Fold_map]
Input signature of the functor Fold_map.Make
Foldable2 [Fold_map]
Foldable2_sexpable [Fold_map]
Foldable_sexpable [Fold_map]
Fraction [Extended_float]

K
Key [Trie]
Key [Splay_tree]
Key [Packed_map]
Key [Interval_map_intf]
Key [Hashtbl2_pair]
Key [Hashtbl2]

M
M [Interval_map_intf]

O
Ordered_field [Flang]

S
S [Trie]
S [Splay_tree]
S [Set_lang_intf]
S [Set_lang]
S [Packed_map]
S [Packed_array]
S is the packed array interface.
S [Number]
Signature of numbers that have a verified (t) and unverified (repr) representation and a function to verify the latter.
S [Number.Verified_std]
Abbreviations
S [Interval_map_intf]
A standard incarnation of an interval map for some key type.
S [Fold_map]
Output signature of the functor Fold_map.Make
S [Extended_monad]
S [Cache]
The output signature of the functor Cache.Make
S0 [Number]
Signature of numbers that also have a zero
S0 [Number.Verified_std]
S1 [Invariant]
S2 [Invariant]
S2 [Fold_map]
S2 [Extended_monad]
S2_sexpable [Fold_map]
S3 [Invariant]
S_binable [Set_lang_intf]
S_binable [Set_lang]
S_eval [Set_lang_intf]
S_lang [Set_lang_intf]
S_sexpable [Fold_map]
S_with_boundary [Interval_map_intf]
An incarnation of an interval map where the key type has been wrapped with Left_boundary.t.
Selector
Spec [Number]
Specification of general number properties
Store [Cache]
Caching store
Strategy [Cache]
Replacement policy

T
T [Service_command]
T [Lazy_list.Of_container]
Type_with_map_module [Interval_map_intf]

V
Value [Packed_map]
Verified_spec [Number]
Specification of numbers with constraint checks
Verified_std [Number]
Signature of standard numbers (Int.t, Int32.t, Int63.t Int64.t, Nativeint.t, Float.t) to enrich them with Pos.t, Pos0.t, Neg.t, and Neg0.t modules, and the Make_bounded and Make_bounded_unsafe functors.
Verified_std_spec [Number]
Specification used for standard numbers (Int.t, Int32.t, Int63.t Int64.t, Nativeint.t, Float.t) to enrich them with Pos.t, Pos0.t, Neg.t, and Neg0.t modules, and the Make_bounded and Make_bounded_unsafe functors.