Module Goblint_lib.WideningThresholds
val thresholds : unit -> Z.t listval thresholds_incl_mul2 : unit -> Z.t listval reset_lazy : unit -> unitval upper_thresholds : unit -> Z.t listval lower_thresholds : unit -> Z.t listval octagon_thresholds : unit -> Z.t list