1 module { export = [main], features = [chr] }
2 import "StandardLibrary"
4 ruleset IntegerSet where
5 constraint Element Integer
6 // Set may not contain duplicates
7 Element ?x => print "added \(?x)"
8 -Element ?x, Element ?x => print "removed duplicate \(?x)"
10 addSet :: IntegerSet -> Integer -> <Proc> ()
11 addSet set newElement = ()
13 include IntegerSet set
14 True => Element newElement
16 printSet :: IntegerSet -> <Proc> ()
19 include IntegerSet set
20 Element ?x => print "printing \(?x)"
24 set = createIntegerSet