Module Flatten.PSet

module PSet: Set.Make(Package)