I : 'a -> 'a

SYNOPSIS
Performs identity operation: I x = x.

FAILURE
Never fails.

SEEALSO  Lib,   \#\#,   A,   B,   C,   K,   o,   S,   W

HOL  Kananaskis 0