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