Core.at_raw: def of bend-schema-lib@0.4.1.0
Import: import bend-schema-lib@0.4.1.0/core.bend as Core
Lines 1379-1386 of bend-schema-lib@0.4.1.0/core.bend: https://jend.leeeet.dev/read.txt?path=bend-schema-lib@0.4.1.0/core.bend&start_line=1379&end_line=1386

import Base

def at_raw(r: Raw, +i: Nat) -> Raw:
  match r i:
    case RCons{h, t} 0n:
      h
    case RCons{h, t} 1n+j:
      at_raw(t, j)
    case _ _:
      RMissing{}

Uses (2):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=bend-schema-lib@0.4.1.0/core.bend&name=Raw