\DOC K

\TYPE {K : 'a -> 'b -> 'a}

\KEYWORDS
Combinator.

\SYNOPSIS
Forms a constant function: {K x y} = {x}.

\FAILURE
Never fails.

\SEEALSO
Lib.##, Lib.C, Lib.I, Lib.S, Lib.W.
\ENDDOC