Module Cparser


module Cparser: sig .. end


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