sig
type parsed_rhs =
Sym of string
| App of string * ParserTypes.parsed_rhs list
and parsed_cond =
Empty_cond
| Opt of string * string list
| Excl of string * string list
and parsed_vars = string list
and parsed_pars = string list
and parsed_input = string * ParserTypes.parsed_vars
and parsed_expr =
string * ParserTypes.parsed_vars * ParserTypes.parsed_pars
and parsed_lhs =
string * string * ParserTypes.parsed_vars * ParserTypes.parsed_pars
and parsed_rule =
string * string * ParserTypes.parsed_vars * ParserTypes.parsed_pars *
ParserTypes.parsed_rhs * string
and parsed_main =
string * string * ParserTypes.parsed_vars * ParserTypes.parsed_pars *
ParserTypes.parsed_rhs * ParserTypes.parsed_cond * string
end