Function lamcal::combinator::S[][src]

pub fn S() -> Term

S - Starling - Substitution combinator

S ≡ λabc.ac(bc)