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