Module Vernacstate.SynterpSource

Synterp State, includes parser state, etc... ; as of today the parsing state has no functional components.

Sourcetype t
Sourceval init : unit -> t
Sourceval freeze : unit -> t
Sourceval unfreeze : t -> unit
Sourceval parsing : t -> Pcoq.frozen_t