~/jendhub

def sk_w

bend-collections-laws-crypto@1.0.0.0 · src/containers/hash_table.bend:152

import bend-collections-laws-crypto@1.0.0.0/src/containers/hash_table.bend as HashTable
import Base

152def sk_w(ks: Array<String>, +i: U32, key: String, +w: U32, r: Array<U32> & U32) -> Step:
153  (tab, +x) = r
154  sk_empty(tab, ks, i, key, w, x, U32.is_eq(x, 0))

Uses (8)

Used by (1)