Module type Partitioning_index.Domain

module type Domain = sig .. end

include Abstract_domain.Lattice
include Datatype.S_with_collections
include Abstract.Interface