Index of module types

B
BaseLock [BatConcurrent]	A signature for modules which implement locking.
Bounded [BatNumber]
BoundedNumericType [BatBounded]
BoundedType [BatBounded]
C
Comp [BatOrd]	We use `compare` as member name instead of `comp`, so that the Comp modules can be used as the legacy OrderedType interface.
Compare [BatNumber]	And if you are ready to drop generic comparison operators, then you can open this one as well
Config [BatLog]
D
Definition [BatGenlex.Languages]
Discrete [BatNumber]
E
Enumerable [BatEnum]	A signature for data structures which may be converted to and from `enum`.
Eq [BatOrd]
H
H [BatHeap]	The result of `BatHeap.Make`
HashedType [BatInnerWeaktbl]
HashedType [BatHashtbl]
I
Infix [BatNumber]	The infix operators available with any type of numbers
L
Level_sig [BatLog]	The details of a level scheme for verbosity-level loggers
Lock [BatConcurrent]
M
Mappable [BatInterfaces]	A signature for data structures which have a `map : ('a -> 'b) -> ('a t -> 'b t)` operation.
Monad [BatInterfaces]	Signature for monads
N
Numeric [BatNumber]	The full set of operations of a type of numbers
NumericSig [BatBounded]
O
Ord [BatOrd]
OrderedType [BatSet]	Input signature of the functor `Set.Make`.
OrderedType [BatInterfaces]
P
PathType [BatPathGen]	All implementations of `Path` functionality have this module type.
R
RANDOMACCESS [BatVect]
RefOps [BatNumber]	Reference operators ala C.
S
S [BatSet]	Output signature of the functor `Set.Make`.
S [BatMap]
S [BatInnerWeaktbl]
S [BatHashtbl]	The output signature of the functor `Hashtbl.Make`.
S [BatFingerTree]
S [BatBounded]
StringType [BatPathGen]	This signature lists few basic operations provided by all string types.
T
Table [BatHashcons]	Hashcons tables