Vernacstate.Synterp
Synterp State, includes parser state, etc... ; as of today the parsing state has no functional components.
type t
val init : unit -> t
val freeze : unit -> t
val unfreeze : t -> unit
val parsing : t -> Pcoq.frozen_t