def third

bend-osdev-hashes@0.1.0.0 · check.bend:22

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

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