def ia.add

cswap-bend-cli@0.1.0.0 · importu.bend:261

import Base
import cswap-bend-cli@0.1.0.0/urec.bend as Urec
import cswap-bend-cli@0.1.0.0/json.bend as Json
import cswap-bend-cli@0.1.0.0/ustore.bend as Ustore

261def ia.add(+id: Ustore.Id, +usage: Json.Json, +age: U32, ia: IA) -> IA:
262  match ia:
263    case IA{rs, sk, slots, err}:
264      IA{Urec.Reading{id, usage, age} <> rs, sk, Ustore.slot_of(id) <> slots, err}