Module Kset

module Kset: sig .. end
Sets of values of cardinality K

module K_set: Set.S  with type elt = Region_bitvector.t
include Ai_sigs.Domain