Module Balmap.MapSource

Sourcemodule type OrderedType = Map.OrderedType
Sourcemodule type S = Map.S
Sourcetype (+'a, +'b) balmap = private ('a, 'b) Bt2.t =
  1. | Leaf
  2. | Node of int * ('a, 'b) balmap * 'a * 'b * ('a, 'b) balmap
Sourcemodule Make (O : OrderedType) : S with type key = O.t and type 'a t = (O.t, 'a) balmap