type t = | Op of oper * t list |
| True |
| False |
| Ival of Num.num |
| Fval of float |
| Var of string |
and oper = | And |
| Or |
| Xor |
| Impl |
| Not |
| Eq |
| Ite |
| Sup |
| SupEq |
| Inf |
| InfEq |
| Sum |
| Diff |
| Prod |
| Quot |
| Mod |
| Div |
| Uminus |
| Call of string |
val to_string : t -> stringval dump : t -> unitval simplify : t -> t