Function lambda_calculus::combinators::omm

pub fn omm() -> Term

Ω - the divergent combinator.

Ω := ω ω

Example

use lambda_calculus::combinators::omm;

let mut doesnt_reduce = omm();

doesnt_reduce.beta_once();

assert_eq!(doesnt_reduce, omm());