~/jendhub

def Octets.words

bend-osdev-bytes@0.1.1.0 · bytes.bend:606

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

606# the words of an Octets (internal; for the proofs)
607def Octets.words(o: Octets) -> List<&2, OctByte>:
608  match o:
609    case Octets{ws}:
610      ws

Uses (3)

Used by (4)