lambda_calculus::booleans
pub fn fls() -> Term
A Church-encoded boolean false.
false
FALSE := λab.b = λ λ 1