module { export = [main], chr } import "StandardLibrary" ruleset RS where constraint X Integer -X ?value, X ?value => True X ?value => print "A \(?value)" main :: () main = () where rs = createRS include RS rs X ?value => print "B \(?value)" True => X 1 True => X 2 True => X 1 -- A 1 B 1 A 2 B 2 ()