ulkb documentation
Site Navigation
Section Navigation
The identity function, i.e., (𝜆 x ⇒ x).
identity()