4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian Maeder4*x^4+3*x^3+2*x^2+1*x^1+0*x^0
4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian Maeder(op x: a)(a,b)
4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian Maedera as s : s as s
4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian Maedera:s:s as s as s
4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian Maedera when a < b else b
4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian Maedera when (pred a:b) else b
4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian Maeder__B[a[c,d],b]__(a,b)
4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian Maederwhile while a do b od do c od
4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian Maederwhile while a do b od do while c do d od od
4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian MaederPl7{nicht_wenden}-- folge_dem_Gang -->{nicht_wenden}Pl3 --> RS3 --> RS6