def cap

lawful-bytes@0.1.1.0 · defs.bend:32

import lawful-bytes@0.1.1.0/defs.bend as Defs

import Base
import lawful-arrays@0.1.0.0/defs.bend as A

32# How many bytes fit: four per word.
33def cap(b: Bytes) -> Nat:
34  Bytes{len, buf} = b
35  Nat.mul(4n, List.length(&2, U32, A.view(U32, buf)))

Uses (6)

Used by (48)