Function lambda_calculus::data::boolean::tru

source · 
pub fn tru() -> Term
Expand description

A lambda-encoded boolean true.

TRUE ≡ λab.a ≡ λ λ 2