Function lambda_calculus::data::option::none

pub fn none() -> Term

Produces a lambda-encoded empty option; equivalent to boolean::tru.

NONE ≡ λns.n ≡ λ λ 2 ≡ TRUE