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