Keyboard shortcuts

Press or to navigate between chapters

Press S or / to search in the book

Press ? to show this help

Press Esc to hide this help

K

Lib.K : 'a -> 'b -> 'a

Forms a constant function: K x y = x.

Failure

Never fails.

See also

Lib.##, Lib.C, Lib.I, Lib.S, Lib.W