Module type State_partitioning.Domain

module type Domain = sig .. end

include Partitioning.Domain
val join_list : ?into:t Bottom.Type.or_bottom -> t list -> t Bottom.Type.or_bottom