law octets_take_len

bend-osdev-bytes@0.1.1.1 · LAWS.bend:299

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

299law octets_take_len:
300  for +o: B.Octets
301  {B.Octets.take(B.Octets.len(o), o) == o : B.Octets}