package bddapron

  1. Overview
  2. Docs
type typ = Apron.Tcons1.typ =
  1. | EQ
  2. | SUPEQ
  3. | SUP
  4. | DISEQ
  5. | EQMOD of Apron.Scalar.t
type !'a t = typ * 'a expr
val make : ('a, [> typ ]) typ_of_var -> typ -> 'a expr -> [ `Bool of bool | `Cond of 'a t ]
val negate : ('a, [> typ ]) typ_of_var -> 'a t -> 'a t
val support : 'a symbol -> 'a t -> 'a PSette.t
val print : 'a symbol -> Format.formatter -> 'a t -> unit
val compare : 'a symbol -> 'a t -> 'a t -> int
val of_lincons0 : 'a symbol -> ('a, [> typ ]) typ_of_var -> Apron.Environment.t -> Apron.Lincons0.t -> [ `Bool of bool | `Cond of 'a t ]
val of_lincons1 : 'a symbol -> ('a, [> typ ]) typ_of_var -> Apron.Lincons1.t -> [ `Bool of bool | `Cond of 'a t ]
val of_tcons0 : 'a symbol -> ('a, [> typ ]) typ_of_var -> Apron.Environment.t -> Apron.Tcons0.t -> [ `Bool of bool | `Cond of 'a t ]
val of_tcons1 : 'a symbol -> ('a, [> typ ]) typ_of_var -> Apron.Tcons1.t -> [ `Bool of bool | `Cond of 'a t ]
val to_tcons0 : 'a symbol -> Apron.Environment.t -> 'a t -> Apron.Tcons0.t
val to_tcons1 : 'a symbol -> Apron.Environment.t -> 'a t -> Apron.Tcons1.t
val to_apron0 : 'a symbol -> Apron.Environment.t -> 'a t -> [ `Lin of Apron.Lincons0.t | `Tree of Apron.Tcons0.t ]
val to_apron1 : 'a symbol -> Apron.Environment.t -> 'a t -> [ `Lin of Apron.Lincons1.t | `Tree of Apron.Tcons1.t ]