module MODELS: sig .. end
sig
end
module H: Datatype.String.Map
Datatype.String.Map
val h : Model.model H.t Pervasives.ref
Model.model H.t Pervasives.ref
val mem : H.key -> bool
H.key -> bool
val add : Model.model -> unit
Model.model -> unit
val find : H.key -> Model.model
H.key -> Model.model
val iter : (Model.model -> unit) -> unit
(Model.model -> unit) -> unit