# Index of module types

B
BaseLock [BatConcurrent] | A signature for modules which implement locking.
Bounded [BatNumber] |
C
Compare [BatNumber] | And if you are ready to drop generic comparison operators, then you can open this one as well
D
Definition [BatGenlex.Languages] |
Discrete [BatNumber] |
E
Enumerable [BatEnum] | A signature for data structures which may be converted to and from `enum`.
H
H [BatHeap] | The result of `BatHeap.Make`
HashedType [BatHashtbl] |
I
Infix [BatNumber] | The infix operators available with any type of numbers
L
Lock [BatConcurrent] |
M
Mappable [BatInterfaces] | A signature for data structures which have a `map : ('a -> 'b) -> ('a t -> 'b t)` operation.
N
Numeric [BatNumber] | The full set of operations of a type of numbers
O
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] |
S
S [BatSet] | Output signature of the functor `Set.Make`.
S [BatMonad] | Signature for monads
S [BatMap] |
S [BatHashtbl] | The output signature of the functor `Hashtbl.Make`.
StringType [BatPathGen] | This signature lists few basic operations provided by all string types.
T
Table [BatHashcons] | Hashcons tables