def step

cswap-bend-cli@0.1.0.0 · srvargs.bend:48

import cswap-bend-cli@0.1.0.0/srvargs.bend as Srvargs
import Base

48def step(+h: String, +a: A) -> A:
49  sel.a(pending(a), got(a, h), free(h, a))

Uses (6)

Used by (1)