Taint.S
type ('a, 'e) state
module Expi : Expi.S with type ('a, 'e) state = ('a, 'e) state
class 'a propagator : object ... end
Propagate taint through expressions.