Function closure_calculus::id[][src]

pub fn id() -> Expr

The identity function.

\(J) ~ I = J