AbstractInterpreterTests.PathCountDomain
type t =
| PathCount of int
| Top
val make_path_count : Core__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