Program.VarExpr
type var = Var.t
include Std_extra.Types.TYPE with type t = var Expr.expr
include Std_extra.Types.PRINTABLE with type t = var Expr.expr
val pp : t Std_extra.Types.pp
val order : t -> t -> Std_extra.Types.order
val hash : t -> int
module Set : Std_extra.PatriciaTree.Set_S with type elt = var Expr.expr
module Map : Std_extra.PatriciaTree.Map_S with type key = var Expr.expr
val of_node : var Expr.expr_node -> var Expr.expr
Constructors: These build hashconsed expressions. They also immediatly evaluate constant expressions, so binop PlusA one one
is turned into 2
.