num sum(set[num] s)
import Set;
rascal>import Set; ok rascal>sum({3, 1, 4, 5}); num: 13 rascal>sum({3, 1.5, 4, 5}); num: 13.5
sum({5, -20, 7, 16, 8, 14, -12}) ==