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