Urec.record.go: def of cswap-bend-cli@0.1.0.0
Import: import cswap-bend-cli@0.1.0.0/urec.bend as Urec
Lines 102-107 of cswap-bend-cli@0.1.0.0/urec.bend: https://jend.leeeet.dev/read.txt?path=cswap-bend-cli@0.1.0.0/urec.bend&start_line=102&end_line=107

import Base

def record.go(rs: List<&2, Rec>, ra: RA, +now: U32) -> RA:
  match rs ra:
    case Nil{} _:
      ra
    case Con{h, t} RA{+rows, done}:
      record.go(t, record.one(rows, h, done, now), now)

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/urec.bend&name=RA
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/urec.bend&name=Rec
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/urec.bend&name=record.one