Function closure_calculus::fst[−][src]

pub fn fst() -> Expr

The first argument function.

\(J) ~ I = \(J) ~ (J, I) = R(J)