Urec.Rec: type of cswap-bend-cli@0.1.0.0
Import: import cswap-bend-cli@0.1.0.0/urec.bend as Urec
Lines 11-15 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=11&end_line=15

import Base
import cswap-bend-cli@0.1.0.0/json.bend as Json
import cswap-bend-cli@0.1.0.0/poll.bend as Poll
import cswap-bend-cli@0.1.0.0/ustore.bend as Ustore

# One finished fetch. kind: 0 success, 1 failure, 2 sentinel (nothing to store
# but the lease). `struck` is the fingerprint of the refresh token the server
# rejected for good (JNull otherwise).
type Rec is Data:
  Rec{id: Ustore.Id, claim: String, kind: U32, usage: Json.Json, error: String, retry: Maybe<&2, U32>, struck: Json.Json, plan: Maybe<&2, Poll.Sched>}

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  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/json.bend&name=Json
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/poll.bend&name=Sched
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/ustore.bend&name=Id