Given the (potentially mutually) recursive declarations decls,
return a map from declaration name decl.name to a bit-mask m where m[i] is true
iff the decl.params[i] is a fixed argument. That is, it does not change in recursive
applications.
The function assumes that if a function f was declared in a mutual block, then decls
contains all (computationally relevant) functions in the mutual block.
Equations
- One or more equations did not get rendered due to their size.