Function lamcal::combinator::K[][src]

pub fn K() -> Term

K - Kestrel - Constant combinator (TRUE)

K ≡ λab.a