Module Baby.Custom

The functor Baby.Custom constructs balanced binary search trees based on a user-supplied balancing scheme.

Parameters

module _ : BASE_SET
module _ : BASE_MAP

Signature

module Set : sig ... end
module Map : sig ... end
module Make (E : OrderedType) : sig ... end