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