def Octets.len

import bend-osdev-bytes@0.1.1.0/bytes.bend as Bytes

import Base

612def Octets.len(o: Octets) -> Nat:
613  match o:
614    case Octets{ws}:
615      w8s.len.fast(ws)

Uses (3)