Module IntDomain0.IntervalArith

Parameters

Signature

val min4 : Ints_t.t -> Ints_t.t -> Ints_t.t -> Ints_t.t -> Ints_t.t
val max4 : Ints_t.t -> Ints_t.t -> Ints_t.t -> Ints_t.t -> Ints_t.t
val shift_left : (Ints_t.t * Ints_t.t) -> (int * int) -> Ints_t.t * Ints_t.t
val neg : (Ints_t.t * Ints_t.t) -> Ints_t.t * Ints_t.t
val one : Ints_t.t * Ints_t.t
val zero : Ints_t.t * Ints_t.t
val top_bool : Ints_t.t * Ints_t.t
val to_int : (Ints_t.t * Ints_t.t) -> Ints_t.t option
val find_thresholds : WideningThresholds.Thresholds.t ResettableLazy.t -> WideningThresholds.Thresholds.t
val upper_threshold : Ints_t.t -> Ints_t.t -> Ints_t.t
val lower_threshold : Ints_t.t -> Ints_t.t -> Ints_t.t
val is_threshold : Ints_t.t -> WideningThresholds.Thresholds.t ResettableLazy.t -> bool
val is_upper_threshold : Ints_t.t -> bool
val is_lower_threshold : Ints_t.t -> bool