Up
–
coq-core
»
Gramlib
»
Grammar
»
ExtS
» GState
Module
ExtS.GState
type
t
=
{
estate :
EState.t
;
kwstate :
keyword_state
;
}