B | |
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 [Float] | |
K | |
Key [Trie] | |
L | |
LOGGER [Loggers] |
Interface to loggers
|
S | |
S [Trie] | |
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 [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] | |
S2 [Fold_map] | |
S2 [Extended_monad] | |
S2_sexpable [Fold_map] | |
SPEC [Loggers] |
Specification for creating loggers
|
S_sexpable [Fold_map] | |
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] | |
V | |
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.
|