Module Apronexpr.Condition

module Condition: sig .. end

type typ = Apron.Tcons1.typ = 

type 'a t = typ * 'a Apronexpr.expr 

val make : ('a, [> typ ]) Apronexpr.typ_of_var ->
       typ ->
       'a Apronexpr.expr -> [ `Bool of bool | `Cond of 'a t ]

val negate : ('a, [> typ ]) Apronexpr.typ_of_var ->
       'a t -> 'a t

val support : 'a Apronexpr.symbol -> 'a t -> 'a PSette.t

val print : 'a Apronexpr.symbol -> Format.formatter -> 'a t -> unit

val compare : 'a Apronexpr.symbol ->
       'a t -> 'a t -> int

val to_tcons0 : 'a Apronexpr.symbol ->
       Apron.Environment.t -> 'a t -> Apron.Tcons0.t

val to_tcons1 : 'a Apronexpr.symbol ->
       Apron.Environment.t -> 'a t -> Apron.Tcons1.t

val to_apron : 'a Apronexpr.symbol ->
       Apron.Environment.t ->
       'a t ->
       [ `Lincons1 of Apron.Lincons1.t | `Tcons1 of Apron.Tcons1.t ]