Vernacstate.Synterp
type t = {
parsing : Parser.t;
parsing state parsing state may not behave 100% functionally yet, beware
parsing state may not behave 100% functionally yet, beware
system : System.Synterp.t;
system state needed for the synterp phase
}
val init : unit -> t
val freeze : unit -> t
val unfreeze : t -> unit