pub fn apply_with(f: &Value, arg: Value, ctx: &Ctx) -> Result<Value, Raised>Expand description
Apply a value to a single argument in the realm ctx — the public entry
point behind a host’s “call this value” surface (e.g. the Python bindings’
elly.Fun.__call__).
This is the same application step the evaluator uses internally (apply_n
with one argument): a closure call, list projection, or one step toward
saturating a builtin. f and arg must belong to ctx; closures minted by
the call continue its id source.