K : 'a -> 'b -> 'a
SYNOPSIS
Forms a constant function:
K x y
=
x
.
FAILURE
Never fails.
SEEALSO
Lib
,
\#\#
,
A
,
B
,
C
,
I
,
S
,
W
HOL
Kananaskis 0