Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
feat(data/rat/defs): add denominator as pnat (#15101)
Option to bundle `x.denom` and `x.pos` into a pnat, which can be useful in defining functions using the denominator. Co-authored-by: Jon Eugster <eugster.jon@gmail.com>
- Loading branch information