def mem.slice

bend-osdev-acpi@0.1.1.0 · acpi.bend:33

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

33def mem.slice(inside: Bool, +off: Nat, +n: Nat, +o: B.Octets) -> Maybe<&2, B.Octets>:
34  match inside:
35    case False{}:
36      None{}
37    case True{}:
38      Some{B.Octets.slice(off, n, o)}