module MapWithDescr: functor (Data : ORDEREDDESCR) -> MapDescr with type key = Data.t and type 'a t = 'a Map.Make(Data).t
functor (
Data
:
ORDEREDDESCR
) ->
MapDescr
with type key = Data.t and type 'a t = 'a Map.Make(Data).t
val descr : Unmarshal.t -> Unmarshal.t
Unmarshal.t -> Unmarshal.t
include Map.S