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::{one, mult};
use lambda_calculus::reduction::normalize;

assert_eq!(normalize(mult().app(one()).app(one())), one());