AbstractInterpreterTests.PathCountDomain
type t
=
|
PathCount of int
Top
val make_path_count : Core_kernel__Int.t -> t
val initial : t
val leq : lhs:t -> rhs:t -> bool
val join : t -> t -> t
val widen : prev:'a -> next:'b -> num_iters:'c -> t
val pp : F.formatter -> t -> unit