Function lambda_calculus::data::num::scott::one

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

Produces a Scott-encoded number one.

ONE ≡ λab.b ZERO ≡ λ λ 1 ZERO

Example

use lambda_calculus::data::num::scott::one;
use lambda_calculus::*;

assert_eq!(one(), 1.into_scott());