Instances for `Pseudolattice` and `OrderedCommRing`#1271

Merged

mortberg merged 1 commit intoagda:masterfrom

LorenzoMolena:ocr+pl-instances'

Feb 17, 2026

Commits on Nov 13, 2025

add instances of `Nat` and `Int` as `Pseudolattice`s, and of `Int` as `OrderedCommRing`
LorenzoMolena
committed