Module Flatten.CSet

module CSet: Set.Make(Disj)