Taint.Make
module M : Monads.Std.Monad.State.S2
type ('a, 'e) state = ('a, 'e) M.t
module Expi : Expi.S with type ('a, 'e) state = ('a, 'e) state
class 'a propagator : object ... end
Propagate taint through expressions.