Up – Package index » coq-core » Library coq-core.library » Nametab » Modules

Module `Nametab.Modules`Source

Sourcetype t

Sourceval freeze : unit -> t

Sourceval unfreeze : t -> unit

Sourceval summary_tag : t Summary.Dyn.tag