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

import Base

def div_sign(a: U64, +d: U32, negative: Bool) -> U64:
  match negative:
    case False{}:
      div_small(a, d)
    case True{}:
      neg(div_small(neg(a), d))

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=bend-collections@1.0.0.0/src/math/u64.bend&name=U64
  https://jend.leeeet.dev/definition.txt?path=bend-collections@1.0.0.0/src/math/u64.bend&name=div_small
  https://jend.leeeet.dev/definition.txt?path=bend-collections@1.0.0.0/src/math/u64.bend&name=neg