package bap-primus-track-visited

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module `Bap_primus_track_visited.Set`

The online interface to the set of visited basic blocks.

  module Visited = Bap_primus_track_visited.Set.Make(Machine)

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

module Make (Machine : Bap_primus.Std.Primus.Machine.S) : sig ... end