Module Bap_primus_track_visited.Set

The online interface to the set of visited basic blocks.

Example

module Visited = Bap_primus_track_visited.Set.Make(Machine)

let term_is_visited t = Visited.mem (Term.tid t)