Function lamcal::combinator::W[][src]

pub fn W() -> Term

W - Warbler - Duplication combinator

W ≡ λab.abb ≡ C (B M R)