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