Term (dolmen_loop.Dolmen_loop.Export.Make.View.Term)

type t = term

val equal : t -> t -> bool

module Var : sig ... end

module Cst : sig ... end

exception Not_first_order of t

exceptions raised by view functions on terms that cannot be represented as first-order.

val ty : t -> Ty.t

Return the type of a term.

val view : 
  t ->
  < ty_var : Ty.Var.t
    ; term_var : Var.t
    ; term_cst : Cst.t
    ; builtin : builtin
    ; ty : Ty.t
    ; term : t.. >
    Dolmen_intf.View.TFF.Term.view

View function for terms.

raises Not_first_order_term
if the term cannot be viewed as first-order.