def key

cswap-bend-cli@0.1.0.0 · policy/safe.bend:98

import cswap-bend-cli@0.1.0.0/policy/safe.bend as Safe
import Base

98def key(+algo: Algo, +active: Nat, +slot: Nat, +h: Nat, +reset: Maybe<&2, Nat>) -> Cd:
99  Cd{slot, key1(algo, active, slot, reset), key2(algo, slot, h), h}

Uses (6)

Used by (1)