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 [Float]  
K  
Key [Trie]  
Key [Splay_tree]  
Key [Packed_map]  
L  
LOGGER [Loggers] 
Interface to loggers

S  
S [Trie]  
S [Splay_tree]  
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 [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  
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.
