type Division

bend-collections-laws-math@1.0.0.0 · proofs/lib/lemmas/src/wide.bend:58

import Base

58type Division<-n: Nat> is Data:
59  Div{quotient: Word(n), remainder: U32}