Function O 

pub fn O() -> Term

Ω - the divergent combinator.

Ω ≡ ω ω

Example

use lambda_calculus::combinators::O;
use lambda_calculus::*;

assert_eq!(beta(O(), NOR, 3), O()); // 3 β-reductions do nothing