Lines Matching defs:bx
43 val bx = bound "x"
50 concat ["do ", bx, " <- ", free "f", " ", fy, "; ", free "g", " ",
51 bx, " od"])
62 bx, " <- ", free "m1", ";\n ",
76 "do ", bx, " <- ", free "f", " ", free "x", "; ",
77 free "g", " ", bx, " od"
149 "let ", bx, " = ", free "f", " ", free "x", " in ",
150 free "g", " ", bx
156 "let ", bx, " = ", free "f", " ", free "x", " in ",
157 free "g", " ", bx
165 free "g", " ", bx, " od"
173 free "g", " ", bx, " od"
185 free "g", " ", bx, " od"
193 free "g", " ", bx, " od"