Module Flatten.CSet


module CSet: Set.Make(Disj)