Redis.u64.div10: def of bend-kit-redis@0.3.0.0
Import: import bend-kit-redis@0.3.0.0/redis.bend as Redis
Lines 60-66 of bend-kit-redis@0.3.0.0/redis.bend: https://jend.leeeet.dev/read.txt?path=bend-kit-redis@0.3.0.0/redis.bend&start_line=60&end_line=66

import Base

# The 64-bit (hi, lo) divided by 10, and the remainder, over 16-bit limbs.
def u64.div10(+hi: U32, +lo: U32) -> U32 & U32 & U32:
  +a = (hi >> 16n : U32)
  +x = (((a % 10) << 16n) .|. (hi .&. 65535) : U32)
  +y = (((x % 10) << 16n) .|. (lo >> 16n) : U32)
  +z = (((y % 10) << 16n) .|. (lo .&. 65535) : U32)
  ((((a / 10) << 16n) .|. (x / 10) : U32), (((y / 10) << 16n) .|. (z / 10) : U32), (z % 10 : U32))

Uses (9):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Sigma
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.and
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.div
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.mod
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.or
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.shln
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.shrn