Index of module types


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]
S1 [Invariant]
S2 [Invariant]
S2 [Fold_map]
S2 [Extended_monad]
S2_sexpable [Fold_map]
S3 [Invariant]
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.