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