Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
refactor: use native dynamic dispatch
The previous emulation was inefficient and inconsistent. Now, the signature of all check functions is the same, and a layer of indirection is removed. In the future, this may allow for combining several specifications into one check.
- Loading branch information