Function lamcal::combinator::B[][src]

pub fn B() -> Term

B - Bluebird - Composition combinator

B ≡ λabc.a(bc) ≡ S (K S) K