Module Vernacstate.Synterp
type t={parsing : Parser.t;parsing state
parsing state may not behave 100% functionally yet, bewaresystem : System.Synterp.t;system state needed for the synterp phase
}
Vernacstate.Synterptype t = {parsing : Parser.t; | parsing state |
system : System.Synterp.t; | system state needed for the synterp phase |
}