AbstractDomain.CountDomain
Domain keeping a non-negative count with a bounded maximum value. The count can be only incremented and decremented.
include WithBottom with type t = private int
include S with type t = private int
include Comparable with type t = private int
include IStdlib.PrettyPrintable.PrintableType with type t = private int
val bottom : t
The bottom value of the domain.
val is_bottom : t -> bool
Return true if this is the bottom value