Previous  Up  Next

Module Arith.Tree


module Tree: sig .. end

Tree expressions



type binop =
| Add
| Sub
| Mul
| Div
| Mod

type expr =
| Cst of Mpqf.t
| Ref of Var.t
| Binop of binop * expr * expr
| Other of Var.t * expr list 
val support : expr -> Var.Set.t
val rename : expr -> Var.t Var.Map.t -> expr
val print : Format.formatter -> expr -> unit