type QuotRem
import bend-collections-laws-math@1.0.0.0/src/math/generic.bend as Genericimport Base
26type QuotRem<-T: Data> is Data:
27 TQR{quot: T, rem: T}
Uses (0)
This definition uses no other definition.
Used by (6)
- bend-collections-laws-math@1.0.0.0/spec/math/generic:DivMod.agrees
- bend-collections-laws-math@1.0.0.0/spec/math/generic:lift_qr
- bend-collections-laws-math@1.0.0.0/src/math/generic:divmod_ok
- bend-collections-laws-math@1.0.0.0/proofs/math/typed/u32int:dm
- bend-collections-laws-math@1.0.0.0/proofs/math/typed/u64int:dm
- …