Function lambda_calculus::arithmetic::mult

pub fn mult() -> Term

Applied to two Church-encoded numbers it produces their product.

MULT := λmnf.m (n f) = λ λ λ 3 (2 1)

Example

use lambda_calculus::arithmetic::mult;

let mut expr = mult().app(2.into()).app(3.into());
expr.beta_full();

assert_eq!(expr, 6.into());