Mode_eager.S
type parsed_value
val make_value : (Kind.state, Kind.Stack.t) A.state -> Kind.Stack.t -> parsed_value