Module Vernac.State

Parsing of vernacular.

type t = {
doc : Stm.doc;
sid : Stateid.t;
proof : Proof.t option;
time : time_output option;
}