U64.div_small_signed: def of bend-collections-laws-math@1.0.0.0
Import: import bend-collections-laws-math@1.0.0.0/src/math/u64.bend as U64
Lines 97-100 of bend-collections-laws-math@1.0.0.0/src/math/u64.bend: https://jend.leeeet.dev/read.txt?path=bend-collections-laws-math@1.0.0.0/src/math/u64.bend&start_line=97&end_line=100

import Base

# Signed a / d truncated toward zero (C semantics), for 0 < d <= 2^20.
def div_small_signed(a: U64, +d: U32) -> U64:
  U64{lo, +hi} = a
  div_sign(U64{lo, hi}, d, U32.is_ge(hi, 2147483648))

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.is_ge
  https://jend.leeeet.dev/definition.txt?path=bend-collections-laws-math@1.0.0.0/src/math/u64.bend&name=U64
  https://jend.leeeet.dev/definition.txt?path=bend-collections-laws-math@1.0.0.0/src/math/u64.bend&name=div_sign