Module ExprSource

Sourcetype t =
  1. | Op of oper * t list
  2. | True
  3. | False
  4. | Ival of Num.num
  5. | Fval of float
  6. | Var of string
Sourceand oper =
  1. | And
  2. | Or
  3. | Xor
  4. | Impl
  5. | Not
  6. | Eq
  7. | Ite
  8. | Sup
  9. | SupEq
  10. | Inf
  11. | InfEq
  12. | Sum
  13. | Diff
  14. | Prod
  15. | Quot
  16. | Mod
  17. | Div
  18. | Uminus
  19. | Call of string
Sourceval to_string : t -> string
Sourceval dump : t -> unit
Sourceval simplify : t -> t