def w8s.take.go

bend-osdev-bytes@0.1.1.0 · bytes.bend:481

import bend-osdev-bytes@0.1.1.0/bytes.bend as Bytes

import Base

481def w8s.take.go(n: Nat, ws: List<&2, OctByte>, acc: List<&2, OctByte>) -> List<&2, OctByte>:
482  match n:
483    case 0n:
484      acc
485    case 1n+p:
486      match ws:
487        case Nil{}:
488          acc
489        case Con{h, t}:
490          w8s.take.go(p, t, Con{h, acc})

Uses (3)

Used by (3)