Builtin.hascasl revision 9efe0ca32bd86630c33e73d5c7bd3f1c0642ebff
9efe0ca32bd86630c33e73d5c7bd3f1c0642ebffChristian Maederpred p : dummy
9efe0ca32bd86630c33e73d5c7bd3f1c0642ebffChristian Maeder. p x = p x when def (p x) \/ false else p x