sig
  exception Error
  val parse_structure :
    (Lexing.lexbuf -> Lexer.token) -> Lexing.lexbuf -> Structure.structure
  val parse_rel_defs :
    (Lexing.lexbuf -> Lexer.token) ->
    Lexing.lexbuf -> (string * string list * Formula.formula) list
  val parse_rel_const_defs :
    (Lexing.lexbuf -> Lexer.token) ->
    Lexing.lexbuf ->
    (string * string list * Formula.formula) list *
    (string * (int, string) Aux.choice) list
  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
end