`type t`````

Execution statistics

`val add_visited_fp : t ‑> int ‑> unit`
`val add_visited_re : t ‑> int ‑> unit`
`val is_visited_fp : t ‑> int ‑> bool`
`val is_visited_re : t ‑> int ‑> bool`
`val nb_visited_re : t ‑> int`
`val update : ?⁠add_symops:int ‑> ?⁠failure_kind:InferBase.SymOp.failure_kind ‑> t ‑> t`
`val failure_kind : t ‑> InferBase.SymOp.failure_kind option`
`val failure_kind_to_string : t ‑> string`
`val symops : t ‑> int`