Functor Collection.Map.Persistent.MakeTreeMap


module MakeTreeMap: 
functor (T : Map.OrderedType) -> Collection.Map.PM with type key = T.t
Parameters:
T : Map.OrderedType

include Collection.Map.M
val empty : 'a t
val add : 'a t -> key -> 'a -> 'a t
val remove : 'a t -> key -> 'a t