law octets_split_text

bend-osdev-bytes@0.1.1.0 · LAWS.bend:165

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

165law octets_split_text:
166  {B.Octets.split_at(2n, B.Octets.of_string("abc")) == Some{B.OctetsSplit{B.Octets.of_string("ab"), B.Octets.of_string("c")}} : Maybe<&2, B.OctetsSplit>}