BatArg 
Parsing of command line arguments.

BatArray 
Additional and modified functions for arrays.

BatAvlTree 
Internals of ISet and IMap, usable as generic tree library

BatBase64 
Base64 codec.

BatBig_int 
Operations on arbitraryprecision integers.

BatBigarray 
Additional and modified functions for big arrays.

BatBitSet 
Efficient bit sets.

BatBool 
Operations on booleans

BatBuffer 
Extensible string buffers.

BatCamomile  
BatChar 
Operations on characters.

BatCharEncodings 
Character encodings.

BatCharParser 
Parsing character strings.

BatComplex 
Additional and modified functions for complex numbers.

BatConcurrent 
Definition of concurrency primitives.

BatDigest 
MD5 message digest.

BatDllist 
A mutable, imperative, circular, doubly linked list library

BatDynArray 
Dynamic arrays.

BatEnum 
Enumeration over abstract collection of elements.

BatFile 
File manipulation.

BatFloat 
Operations on floatingpoint numbers.

BatFormat 
Pretty printing.

BatGc 
Memory management control and statistics; finalised values.

BatGenlex 
A generic lexical analyzer.

BatGlobal 
Mutable global variable.

BatHashtbl 
Extra functions over hashtables.

BatIMap 
DIET Maps from integers, packed using ranges

BatIO 
Highorder abstract I/O.

BatISet 
DIET Sets of integers represented as ranges

BatInnerIO 
Core of the BatIO module.

BatInnerWeaktbl 
Weak hash table library for OCaml, with an interface compatible with
the standard Hashtbl module.

BatInt 
Operations on integers.

BatInt32 
32bit integers.

BatInt64 
64bit integers.

BatInterfaces 
Common signatures for data structures.

BatLazyList 
Lazy lists of elements.

BatLexing 
Simple lexing using ocaml conventions

BatList 
Additional and modified functions for lists.

BatLogger 
Logging Library

BatMap 
Association tables over ordered types.

BatMarshal 
Marshaling of data structures.

BatMonad 
Definition of monads.

BatMultiPMap 
Polymorphic MultiMap.

BatMutex 
Locks for mutual exclusion.

BatNativeint 
Processornative integers.

BatNum 
Operation on arbitraryprecision numbers.

BatNumber 
A common interface for numbers.

BatOo 
Operations on objects

BatOptParse 
Modules for GNU
getopt(3) style command line parsing.

BatOption 
Functions for the option type.

BatPMap 
Polymorphic Map.

BatPSet 
Polymorphic sets of elements.

BatPair 
Functions for pairs of values

BatParserCo 
A simple parser combinator library.

BatPathGen 
Filepath handling.

BatPervasives 
Additional functions.

BatPrint 
Formatted output functions (also known as unparsing).

BatPrintexc 
Facilities for printing exceptions.

BatPrintf 
Formatted output functions (also known as unparsing).

BatQueue 
Firstin firstout queues.

BatRMutex 
Locks for mutual exclusion.

BatRandom 
Pseudorandom number generators (PRNG).

BatRef 
Operations on references.

BatRefList 
Reference on lists.

BatResult 
Monadic results of computations that can raise exceptions

BatReturn 
Local exceptions/labels/goto/return.

BatRope 
Heavyweight strings ("ropes")

BatScanf 
Formatted input functions.

BatSeq 
Sequence of elements

BatSet 
Sets over ordered types.

BatStack 
Lastin firstout stacks.

BatStd 
Additional functions.

BatStr 
Regular expressions and highlevel string processing

BatStream 
Streams and stream parsers

BatString 
String operations.

BatSubstring  Substring.t is the type of substrings of a basestring, an efficient
representation of a piece of a string.

BatSys 
System interface.

BatUChar 
Unicode (ISOUCS) characters.

BatUCharParser 
Parsing unicode text

BatUTF8 
UTF8 encoded Unicode strings.

BatUnit 
Operations on
unit .

BatUnix 
Lowlevel interface to the operating system (both Unix and Windows).

BatValue_printer 
Value printers

BatVect 
Extensible vectors with constanttime append/prepend.

Batteries  
Batteries_config 
This system's configuration.

Batteries_print  
Batteries_uni 