law octets_slice

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

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

112law octets_slice:
113  {B.Octets.to_string(B.Octets.slice(2n, 3n, B.Octets.of_string("bend-osdev"))) == "nd-" : String}