Function lamcal::combinator::U[][src]

pub fn U() -> Term

U - Turing

U ≡ λab.b(aab) ≡ L O