Module Absint__AbstractDomain.DownwardIntDomain
Domain keeping a non-negative count with a bounded maximum value. join is minimum and top is zero.
Parameters
Signature
bottom is the provided maximum
include WithBottom with type t := t
val bottom : tThe bottom value of the domain.
val is_bottom : t -> boolReturn true if this is the bottom value