module { features = [chr] } import "StandardLibrary" main = () where constraint Edge Integer Integer True => Edge 2 3 True => Edge 1 2 True => Edge 3 4 when -Edge ?x ?y [] = select ?z where Edge ?z ?x then print "removed \(?x) \(?y)" -- removed 1 2 removed 2 3 ()