module ParserTypes: sig end
type parsed_rhs =
type parsed_cond =
| |
Empty_cond |
| |
Opt of string * string list |
| |
Excl of string * string list |
type parsed_vars = string list
type parsed_pars = string list
type parsed_input = string * parsed_vars
type parsed_expr = string * parsed_vars * parsed_pars
type parsed_lhs = string * string * parsed_vars * parsed_pars
type parsed_rule = string * string * parsed_vars * parsed_pars *
parsed_rhs * string
type parsed_main = string * string * parsed_vars * parsed_pars *
parsed_rhs * parsed_cond * string