sig
  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
end