Words.gr_loop: def of gralha-byte-words@0.1.0.0
Import: import gralha-byte-words@0.1.0.0/words.bend as Words
Lines 45-50 of gralha-byte-words@0.1.0.0/words.bend: https://jend.leeeet.dev/read.txt?path=gralha-byte-words@0.1.0.0/words.bend&start_line=45&end_line=50

import Base

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

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Array.get
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.add
  https://jend.leeeet.dev/definition.txt?path=gralha-byte-words@0.1.0.0/words.bend&name=Gr
  https://jend.leeeet.dev/definition.txt?path=gralha-byte-words@0.1.0.0/words.bend&name=gr_put