Function lamcal::combinator::I[][src]

pub fn I() -> Term

I - Idiot - Identity combinator

I ≡ λa.a ≡ S K K