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