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