The first of formals whose argument resolves to a tracked environment; ambiguity is left to the caller.
formals
The first of
formalswhose argument resolves to a tracked environment; ambiguity is left to the caller.