Up – Package index » coq-core » Library coq-core.toplevel » Vernac » State

Module `Vernac.State`Source

Parsing of vernacular.

Sourcetype t = {

}