Function lambda_calculus::data::pair::snd

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

Applied to a lambda-encoded pair (a, b) it yields b.

SND ≡ λp.p FALSE ≡ λ 1 FALSE

Example

use lambda_calculus::data::pair::snd;
use lambda_calculus::*;

assert_eq!(
    beta(app(snd(), (1, 2).into_church()), NOR, 0),
    2.into_church()
);