module MakeTreeMap: functor (T : Map.OrderedType) -> Collection.Map.PM with type key = T.t
functor (
T
:
Map.OrderedType
) ->
Collection.Map.PM
with type key = T.t
include Collection.Map.M
val empty : 'a t
'a t
val add : 'a t -> key -> 'a -> 'a t
'a t -> key -> 'a -> 'a t
val remove : 'a t -> key -> 'a t
'a t -> key -> 'a t