# 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.