lambda_calculus::booleans
pub fn tru() -> Term
A Church-encoded boolean true.
true
TRUE := λab.a = λ λ 2