Index of module types

Basic is the minimal interface you need to provide to make a packed array for a new type.

Signature of bounded numbers

Specification of bounded numbers

Input signature of the functor Fold_map.Make

Interface to loggers

S is the packed array interface.

Signature of numbers that have a verified (t) and unverified (repr) representation and a function to verify the latter.

Abbreviations

Output signature of the functor Fold_map.Make

The output signature of the functor Cache.Make

Signature of numbers that also have a zero

Specification for creating loggers

Specification of general number properties

Caching store

Replacement policy

Specification of numbers with constraint checks

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.

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.