Baby.H
The module Baby.H provides ready-made height-balanced binary search trees.
module Set : sig ... end
module Map : sig ... end
module Make (E : OrderedType) : sig ... end