Function lambda_calculus::data::num::binary::b1

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

A 1 bit; equivalent to boolean::fls.

B1 ≡ λab.b ≡ λ λ 1 ≡ FALSE