~/jendhub

def st.row

cswap-bend-cli@0.1.0.0 · collect.bend:269

import cswap-bend-cli@0.1.0.0/collect.bend as Collect
import Base
import cswap-bend-cli@0.1.0.0/json.bend as Json

269def st.row(+i: Info, +row: Json.Json, +now: U32) -> IO(St):
270  IO.bind(U32, St, dead_state(row, creds_of(i)), d => IO.pure(St, st.mk(i, row, d, now)))

Uses (10)

Used by (1)