def len

lawful-bytes@0.1.1.0 · bytes.bend:132

import Base
import lawful-bytes@0.1.1.0/defs.bend as D

132# The number of bytes in use.
133def len(b: D.Bytes) -> D.Bytes & U32:
134  D.Bytes{+n, buf} = b
135  (D.Bytes{n, buf}, n)