--- /dev/null
+module {
+ export = [main],
+ chr
+}
+
+import "StandardLibrary"
+
+ruleset RS where
+ constraint X Integer
+ True => X 3
+
+main = ()
+ where
+ include RS createRS
+ -X ?value, ?value < 6 => print "X \(?value)", X (?value+1)
+--
+X 3
+X 4
+X 5
+()
\ No newline at end of file