module Make:
(T: CamlinternalMenhirLib.EngineTypes.TABLE) =>
ENGINE with
type state = T.state and
type token = T.token and
type semantic_value = T.semantic_value and
type production = T.production and
type env('a) = EngineTypes.env(T.state, T.semantic_value, T.token);
Parameters: |
|