bidirectionalization-combined-0.1: example/rev.txt

reverse xs = rev xs []
rev [] y    = y 
rev (a:x) y = rev x (a:y)