Ustore.reserve.go: def of cswap-bend-cli@0.1.0.0
Import: import cswap-bend-cli@0.1.0.0/ustore.bend as Ustore
Lines 182-187 of cswap-bend-cli@0.1.0.0/ustore.bend: https://jend.leeeet.dev/read.txt?path=cswap-bend-cli@0.1.0.0/ustore.bend&start_line=182&end_line=187

import Base

def reserve.go(ids: List<&2, Id>, rr: RR, +now: U32, +respect: Bool, +repair: Bool, +tick: Nat) -> RR:
  match ids rr:
    case Nil{} _:
      rr
    case Con{+id, t} RR{+rows, won}:
      reserve.go(t, reserve.row(row_of(rows, id), rows, id, claim_id(slot_of(id), now, tick), now, respect, repair, won), now, respect, repair, 1n+tick)

Uses (10):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  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=cswap-bend-cli@0.1.0.0/ustore.bend&name=Id
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/ustore.bend&name=RR
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/ustore.bend&name=claim_id
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/ustore.bend&name=reserve.row
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/ustore.bend&name=row_of
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/ustore.bend&name=slot_of