module { export = [main], features = [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
()