Up – Package index » coq » Library micromega_plugin » Micromega_plugin » Persistent_cache

Module `Micromega_plugin.Persistent_cache`Source

Sourcemodule type PHashtable = sig ... end

module PHashtable
  (Key : Stdlib.Hashtbl.HashedType) : 
  PHashtable with type key = Key.t