sig
type key
type 'a t
val descr : Unmarshal.t -> Unmarshal.t
val empty : 'a Datatype.MAP.t
val add : Datatype.MAP.key -> 'a -> 'a Datatype.MAP.t -> 'a Datatype.MAP.t
val iter : (Datatype.MAP.key -> 'a -> unit) -> 'a Datatype.MAP.t -> unit
val fold :
(Datatype.MAP.key -> 'a -> 'b -> 'b) -> 'a Datatype.MAP.t -> 'b -> 'b
end