I : 'a -> 'a
STRUCTURE
SYNOPSIS
Performs identity operation: I x = x.
FAILURE
Never fails.
SEEALSO
Lib, ##, C, K, S, W
HOL  Kananaskis-13