Module Micromega_plugin.Persistent_cache
module type PHashtable = sig ... endmodule PHashtable : functor (Key : Stdlib.Hashtbl.HashedType) -> PHashtable with type key = Key.tMicromega_plugin.Persistent_cachemodule type PHashtable = sig ... endmodule PHashtable : functor (Key : Stdlib.Hashtbl.HashedType) -> PHashtable with type key = Key.t