Micromega_plugin.Persistent_cache
module type PHashtable = sig ... end
module PHashtable (Key : Stdlib.Hashtbl.HashedType) : PHashtable with type key = Key.t