Taint.TrackerTaint tracker control module.
This interface is machine specific, and thus is a functor. It is designed to be applied as follows:
module Tracker = Taint.Tracker(Machine)
module Make (Machine : Bap_primus.Std.Primus.Machine.S) : sig ... end