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