def fetch_st

cswap-bend-cli@0.1.0.0 · collectrun.bend:79

import Base
import cswap-bend-cli@0.1.0.0/urec.bend as Urec
import cswap-bend-cli@0.1.0.0/collect.bend as Collect

79def fetch_st(+st: Collect.St, +claim: String, +root: String, +models: List<&2, String>, +threshold: U32, +now: U32) -> IO(Urec.Rec):
80  match st:
81    case Collect.St{info, row, sentinel, healed}:
82      fetch_info(info, row, claim, root, models, threshold, now)