def negative_quotient

bend-collections-laws-crypto@1.0.0.0 · proofs/lib/lemmas/spec/numeric.bend:41

import Base
import bend-collections-laws-crypto@1.0.0.0/spec/lib/numeric.bend as W

41def negative_quotient(n: Nat, word: Word(n), d: U32) -> Word(n):
42  W.negative_quotient(n, word, d)