Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
- improve type stability around `perform_lifting!` - avoid using mutable `RefValue`s - add docstrings for `lift_comparison!` / `canonicalize_typeassert!`
- Loading branch information