Make.A
type terminal
type nonterminal
type production = int
type state
val number : state -> int
type token
val token2terminal : token -> terminal
val lhs : production -> nonterminal
val maybe_shift_t : state -> terminal -> state option
val maybe_goto_nt : state -> nonterminal -> state option
val may_reduce_prod : state -> terminal -> production -> bool