def quotient_signed

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

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

44def quotient_signed(bits: Word(64n), negative: Bool) -> Word(64n):
45  W.quotient_signed(bits, negative)