Lines Matching defs:bx
429 val bx = bound "x"
435 ("\\x. x /\\ y", concat ["\\", bx, ". ", bx, " /\\ ", fy]),
436 ("!x. x /\\ y", concat ["!", bx, ". ", bx, " /\\ ", fy]),
438 concat ["let ",bx, " = ", fp, " in ", bx, " /\\ ", fy]),
440 concat ["let ",bound "f", " ", bx, " = (", bx, " /\\ ", fp, ") in ",
443 concat ["!",bx,"::",fp, " ", fx,". ",free "q"," ",bx]),
445 concat ["!(",bx,"::",fp," ",fx,") (",bound "y","::",fp," ",bx,"). ",
446 free "q", " ", bx, " ", bound "y"])