def at_raw

bend-schema-lib@0.4.1.0 · core.bend:1379

import Base

1379def at_raw(r: Raw, +i: Nat) -> Raw:
1380  match r i:
1381    case RCons{h, t} 0n:
1382      h
1383    case RCons{h, t} 1n+j:
1384      at_raw(t, j)
1385    case _ _:
1386      RMissing{}