Cf_ordered	Ordered types.
Cf_either	A utility type to represent the sum of two parameter types.
Cf_exnopt	A utility type representing the sum of a parameter and an exception.
Cf_smonad	The state monad and its operators.
Cf_cmonad	The continuation monad and its operators.
Cf_scmonad	The state-continuation monad and its operators.
Cf_tai64	Computations with the Temps Atomique International (TAI) timescale.
Cf_tai64n	Computations with the Temps Atomique International (TAI) timescale.
Cf_gregorian	Conversions between the Gregorian calendar and Chronological Julian Day.
Cf_stdtime	Conversions between Standard Time, UTC and TAI.
Cf_journal	Diagnostic event journaling.
Cf_seq	Lazily-evaluated sequences (functional streams).
Cf_deque	A functional persistent double-ended catenable deque, with O_avg(1) cost for every operation.
Cf_flow	Lazy stream procesors and their operators.
Cf_heap	A module type for functional heap implementations.
Cf_pqueue	A module type for functional priority queue implementations.
Cf_map	A module type for associative array implementations (with functional enhancements over the `Map` module in the standard library).
Cf_set	A module type for functional set implementations (with enhancements over the `Set` module in the standard library).
Cf_sbheap	Functional skew binomial heaps with O(1) merge.
Cf_rbtree	Functional red-black binary trees.
Cf_gadget	Monadic composition of complex stream processors.
Cf_state_gadget	Monadic composition of complex stream processors.
Cf_machine	Object-oriented framework for monadic composition of complex stream processors.
Cf_unicode	Unicode transcodings.
Cf_parser	Functional LL(x) parsing with monadic combinators.
Cf_message	Functional message buffer chains.
Cf_dfa	Functional composition of lazy deterministic finite automata.
Cf_regex	Regular expression parsing, search and matching.
Cf_lex	Lexical analysis with functional composition of regular grammars.
Cf_scan_parser	Lexical analysis with functional composition using `Scanf` scanners.