R (p.goblint.2.7.1.doc.goblint_cdomain_value.DefExcDomain.Exclusion.R)

type t = IntOps.NIntOps.t * IntOps.NIntOps.t

val equal : t -> t -> Ppx_deriving_runtime.bool

val compare : t -> t -> Ppx_deriving_runtime.int

val hash : t -> int

val show : (IntOps.NIntOps.t * IntOps.NIntOps.t) -> string

val min4 : 
  IntOps.NIntOps.t ->
  IntOps.NIntOps.t ->
  IntOps.NIntOps.t ->
  IntOps.NIntOps.t ->
  IntOps.NIntOps.t

val max4 : 
  IntOps.NIntOps.t ->
  IntOps.NIntOps.t ->
  IntOps.NIntOps.t ->
  IntOps.NIntOps.t ->
  IntOps.NIntOps.t

val mul : 
  (IntOps.NIntOps.t * IntOps.NIntOps.t) ->
  (IntOps.NIntOps.t * IntOps.NIntOps.t) ->
  IntOps.NIntOps.t * IntOps.NIntOps.t

val shift_left : 
  (IntOps.NIntOps.t * IntOps.NIntOps.t) ->
  (int * int) ->
  IntOps.NIntOps.t * IntOps.NIntOps.t

val div : 
  (IntOps.NIntOps.t * IntOps.NIntOps.t) ->
  (IntOps.NIntOps.t * IntOps.NIntOps.t) ->
  (IntOps.NIntOps.t * IntOps.NIntOps.t) option
  * (IntOps.NIntOps.t * IntOps.NIntOps.t) option

val add : 
  (IntOps.NIntOps.t * IntOps.NIntOps.t) ->
  (IntOps.NIntOps.t * IntOps.NIntOps.t) ->
  IntOps.NIntOps.t * IntOps.NIntOps.t

val sub : 
  (IntOps.NIntOps.t * IntOps.NIntOps.t) ->
  (IntOps.NIntOps.t * IntOps.NIntOps.t) ->
  IntOps.NIntOps.t * IntOps.NIntOps.t

val neg : 
  (IntOps.NIntOps.t * IntOps.NIntOps.t) ->
  IntOps.NIntOps.t * IntOps.NIntOps.t

val one : IntOps.NIntOps.t * IntOps.NIntOps.t

val zero : IntOps.NIntOps.t * IntOps.NIntOps.t

val top_bool : IntOps.NIntOps.t * IntOps.NIntOps.t

val maximal : ('a * 'b) -> 'b

val minimal : ('a * 'b) -> 'a

val leq : 
  (IntOps.NIntOps.t * IntOps.NIntOps.t) ->
  (IntOps.NIntOps.t * IntOps.NIntOps.t) ->
  bool

val join : 
  (IntOps.NIntOps.t * IntOps.NIntOps.t) ->
  (IntOps.NIntOps.t * IntOps.NIntOps.t) ->
  IntOps.NIntOps.t * IntOps.NIntOps.t

val meet : 
  (IntOps.NIntOps.t * IntOps.NIntOps.t) ->
  (IntOps.NIntOps.t * IntOps.NIntOps.t) ->
  (IntOps.NIntOps.t * IntOps.NIntOps.t) option

val to_int : (IntOps.NIntOps.t * IntOps.NIntOps.t) -> IntOps.NIntOps.t option

val find_thresholds : 
  WideningThresholds.Thresholds.t ResettableLazy.t ->
  WideningThresholds.Thresholds.t

val upper_threshold : IntOps.NIntOps.t -> IntOps.NIntOps.t -> IntOps.NIntOps.t

val lower_threshold : IntOps.NIntOps.t -> IntOps.NIntOps.t -> IntOps.NIntOps.t

val is_threshold : 
  IntOps.NIntOps.t ->
  WideningThresholds.Thresholds.t ResettableLazy.t ->
  bool

val is_upper_threshold : IntOps.NIntOps.t -> bool

val is_lower_threshold : IntOps.NIntOps.t -> bool