Summary.Stats
type t
Execution statistics
val add_visited : t -> int -> unit
val is_visited : t -> int -> bool