sig
type token =
EOF
| LPAR
| RPAR
| ARROW
| VNAME of string
| FNAME of string
| BAD_CHAR
| EQ
| SEMI_COLON
val term : (Lexing.lexbuf -> Cparser.token) -> Lexing.lexbuf -> Term.term
val top_term :
(Lexing.lexbuf -> Cparser.token) -> Lexing.lexbuf -> Term.term
val rule : (Lexing.lexbuf -> Cparser.token) -> Lexing.lexbuf -> Rule.rule
val rules :
(Lexing.lexbuf -> Cparser.token) -> Lexing.lexbuf -> Rule.RulSet.t
val equation :
(Lexing.lexbuf -> Cparser.token) -> Lexing.lexbuf -> Equation.eqn
val equations :
(Lexing.lexbuf -> Cparser.token) -> Lexing.lexbuf -> Equation.EqnSet.t
end