tree 52b453ecd2f1ecd75d4d0d8665786a34124e9a4d
parent 095475491fe0e4ff8033a72c0263505b8e375381
author Marco Poletti <poletti.marco@gmail.com> 1437905924 +0100
committer Marco Poletti <poletti.marco@gmail.com> 1437909763 +0100

Use Set-specific operations (forwarding to Vector operations where appropriate) instead of using Vector operations directly on Sets.