Module Taint

module Taint: sig .. end
Taint domain

include Ai_sigs.Domain