~/jendhub

def gr_loop

gralha-byte-words@0.1.0.0 · words.bend:45

import gralha-byte-words@0.1.0.0/words.bend as Words
import Base

45def gr_loop(n: Nat, st: Gr, +i: U32) -> Gr:
46  match n, st:
47    case 0n, r:
48      r
49    case 1n+p, Gr{src, dst}:
50      gr_loop(p, gr_put(Array.get(U32, src, i), dst, i), (i + 1 : U32))

Uses (6)

Used by (1)