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