PIntegral
This is similar to the Integral
typeclass. However, it only has the following class methods:
pdiv
- similar todiv
pmod
- similar tomod
pquot
- similar toquot
prem
- similar torem
Using these functions, you can do division/modulus etc. on Plutarch level values:
pdiv # 6 # 3
where 6
and 3
are Term s PInteger
s yields 2
- also a Term s PInteger
.