sig
  exception Syntax_error
  val declare_constant : string -> string list -> Constant.t
  val declare_predicate : string -> string list -> Constant.t
  val integer : string -> Constant.t
  val rational : string -> Constant.t
  val constant : string -> Constant.t
  val variable : string -> Variable.t
  val application : string -> Term.term list -> Term.term
  val predicate : string -> Term.term list -> Term.term
  val connection : string -> Term.term list -> Term.term
  val quantification : string -> Variable.t list -> Term.term -> Term.term
  val local_let : Variable.t -> Term.term -> Term.term -> Term.term
  val local_flet : Variable.t -> Term.term -> Term.term -> Term.term
end

---

Hosted by the ^* web site.
^*Other names and brands may be claimed as the property of others.