6 import "StandardLibrary"
8 ruleset IntegerSet where
9 constraint Element Integer
10 // Set may not contain duplicates
11 Element ?x => print "added \(?x)"
12 -Element ?x, Element ?x => print "removed duplicate \(?x)"
14 addSet :: IntegerSet -> Integer -> <Proc> ()
15 addSet set newElement = ()
17 include IntegerSet set
18 True => Element newElement
20 printSet :: IntegerSet -> <Proc> ()
23 include IntegerSet set
24 Element ?x => print "printing \(?x)"
28 set = createIntegerSet