Module type Reins.Oracle.ProfiledSet

module type ProfiledSet = sig .. end

include Reins.Oracle.RestrictedSet

include Reins.DugADT.S