Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Since we can now refer to &infix:<cmp> directly, do that instead
of going through PIR to access it.
- Loading branch information