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