module TermParser: sig .. end
exception Error
val parse_term : (Lexing.lexbuf -> Lexer.token) -> Lexing.lexbuf -> Term.term
val parse_structure : (Lexing.lexbuf -> Lexer.token) -> Lexing.lexbuf -> Structure.structure
val parse_real_expr : (Lexing.lexbuf -> Lexer.token) -> Lexing.lexbuf -> Formula.real_expr
val parse_formula : (Lexing.lexbuf -> Lexer.token) -> Lexing.lexbuf -> Formula.formula
val parse_expr_eqs : (Lexing.lexbuf -> Lexer.token) -> Lexing.lexbuf -> Formula.eq_sys
val parse_eqs : (Lexing.lexbuf -> Lexer.token) -> Lexing.lexbuf -> Term.eq_sys