PersistentMapsToImperativeMaps.M
type key
type 'data t
val empty : 'data t
val add : key -> 'data -> 'data t -> 'data t
val find : key -> 'data t -> 'data
val iter : (key -> 'data -> unit) -> 'data t -> unit