MixfixTerms.casl.output revision 3ec187613707411408c677058155bc618f16dabb
4b0a4c7dea0f67a233dcc42ce9bb18d36de109aeChristian Maeder4 * x ^ 4 + 3 * x ^ 3 + 2 * x ^ 2 + 1 * x ^ 1 + 0 * x ^ 0
4b0a4c7dea0f67a233dcc42ce9bb18d36de109aeChristian Maeder12 + 34 * "afa"
4b0a4c7dea0f67a233dcc42ce9bb18d36de109aeChristian Maeder(op x : a)(a, b)
e8ffec0fa3d3061061bdc16e44247b9cf96b050fChristian Maedera as s : s as s
502ed7ed7fecd10b6d0c83cdd48a244ec45e840aChristian Maedera : s : s as s as s
ad270004874ce1d0697fb30d7309f180553bb315Christian Maedera when a < b else b
ad270004874ce1d0697fb30d7309f180553bb315Christian Maedera when (pred a : b) else b
4561227a776bdf0ab679b19fb92f1eaaed8786f7Christian Maeder[ a, [ c, d ], b ]
9348e8460498ddfcd9da11cd8b5794c06023e004Christian Maedera B[a[c,d],b] b
fd5d3885a092ac0727fa2436cdfc3b248318ebd8Christian Maederwhile while a do b od do c od
4561227a776bdf0ab679b19fb92f1eaaed8786f7Christian Maederwhile while a do b od do while c do d od od