Module Model.MODELS

module MODELS: sig .. end

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