Module Vernac.State
Parsing of vernacular.
type t={doc : Stm.doc;sid : Stateid.t;proof : Proof.t option;time : time_output option;}
Vernac.StateParsing of vernacular.
type t = {doc : Stm.doc; |
sid : Stateid.t; |
proof : Proof.t option; |
time : time_output option; |
}