def ia.step

cswap-bend-cli@0.1.0.0 · cfgio.bend:99

import cswap-bend-cli@0.1.0.0/cfgio.bend as Cfgio
import Base

99def ia.step(+h: String, +a: IA) -> IA:
100  sel.ia(ia.is_pending(a), ia.val(a, h), ia.free(h, a))

Uses (6)

Used by (1)