Check.third: def of bend-osdev-hashes@0.1.0.0
Import: import bend-osdev-hashes@0.1.0.0/check.bend as Check
Lines 22-24 of bend-osdev-hashes@0.1.0.0/check.bend: https://jend.leeeet.dev/read.txt?path=bend-osdev-hashes@0.1.0.0/check.bend&start_line=22&end_line=24

import Base
import bend-osdev-bytes@0.1.0.0/bytes.bend as B

# a byte string in three pieces: [0, n/3), [n/3, 2n/3), [2n/3, n)
def third(+o: B.Octets) -> Nat:
  Nat.div(B.Octets.len(o), 3n)

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat.div
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-bytes@0.1.1.0/bytes.bend&name=Octets
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-bytes@0.1.1.0/bytes.bend&name=Octets.len