Term (docs.other.smtml.Smtml.Smtlib.Term)

type t = Expr.t

val fp_of_size : float -> string -> string -> Expr.t

val const : ?loc:Loc.t -> Symbol.t -> t

val str : ?loc:'a -> string -> Expr.t

val int : ?loc:Loc.t -> string -> Expr.t

val real : ?loc:Loc.t -> string -> Expr.t

val hexa : ?loc:'a -> string -> Expr.t

val binary : ?loc:'a -> string -> Expr.t

val colon : ?loc:Loc.t -> t -> t -> t

val make_fp_binop : 
  Symbol.t ->
  Ty.Binop.t ->
  Expr.t ->
  Expr.t ->
  Expr.t ->
  Expr.t

val apply : ?loc:Loc.t -> t -> t list -> t

val letand : ?loc:'a -> t list -> t -> t

val forall : ?loc:'a -> t list -> t -> t

val exists : ?loc:'a -> t list -> t -> t

val match_ : ?loc:'a -> 'b

val sexpr : ?loc:'a -> 'b

val annot : ?loc:'a -> 'b