Bap_taint.Std
module type Value = sig ... end
Abstract value.
module Taint : sig ... end
Abstract taint.