Skip to main content

apply_args

Function apply_args 

Source
pub fn apply_args(f: &Expr, args: &[Expr]) -> Expr
Expand description

Apply a list of arguments to a function expression via beta reduction.

Given f and [a1, a2, ..., an], returns ((...((f a1) a2) ...) an) after instantiating each lambda body with the corresponding argument.