Module ParserTypes


module ParserTypes: sig  end


type parsed_rhs =
| Sym of string
| App of string * parsed_rhs list

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