Function lambda_calculus::arithmetic::to_cnum

pub fn to_cnum(n: usize) -> Term

Produces a Church-encoded term with a value of the given natural number.

Example

use lambda_calculus::arithmetic::{one, to_cnum};

assert_eq!(to_cnum(1), one());