Function lamcal::combinator::V[][src]

pub fn V() -> Term

V - Vireo - Pairing combinator (PAIR)

V ≡ λabc.cab ≡ B C T