Module Bap_taint.Std

module type Value = sig ... end

Abstract value.

module Taint : sig ... end

Abstract taint.