Module Arith.Condition

module Condition: sig .. end

type t = typ * Arith.expr 

val make : < typ_of_var : Var.t -> [> `Int | `Real ]; .. > ->
       typ ->
       Arith.expr -> [ `Arith of t | `Bool of bool ]

val negate : < typ_of_var : Var.t -> [> `Int | `Real ]; .. > ->
       t -> t

val support : t -> Var.Set.t

val print : Format.formatter -> t -> unit

val compare : t -> t -> int