def octets_eta

bend-osdev-bytes@0.1.1.0 · PROOF.bend:731

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

731def octets_eta(+o: B.Octets) -> {B.Octets{B.Octets.words(o)} == o : B.Octets}:
732  match o:
733    case B.Octets{ws}:
734      {==}