Read-only built-in tools — the complement of the side-effecting set within the built-in catalog. The tools a pure CC unit may declare.
pure
Read-only built-in tools — the complement of the side-effecting set within the built-in catalog. The tools a
pureCC unit may declare.