def keep_if

bend-collections-laws-crypto@1.0.0.0 · spec/crypto/blake/blake2s.bend:129

import bend-collections-laws-crypto@1.0.0.0/spec/crypto/blake/blake2s.bend as Blake2s
import Base

129# Zero padding: the byte at message offset i survives only when i < length.
130def keep_if(inside: Bool, b: U32) -> U32:
131  match inside:
132    case True{}: b
133    case False{}: 0

Uses (2)

Used by (2)