module BC_Cont: sig end
Miscellaneous container data structures
module type OrderedType = sig end
the type for ordered elements
module StringMap: sig end
a Map specialized for string values
module LeftistHeap: functor (Elt : OrderedType) -> sig end
LeftistHeap, as in Chris Okasaki's book: "Purely Functional Data Structures"
module DisjSet: sig end
Operation on disjoint sets