~/jendhub

def sized

bend-collections@1.0.0.0 · spec/crypto/keccak/main.bend:78

import bend-collections@1.0.0.0/spec/crypto/keccak/main.bend as BendCollections
import Base

78def sized(round_count: Nat, +length: Nat, pair: Array<U32> & U32) -> Maybe<&1,Array<U32>>:
79  (a,capacity) = pair
80  checked(round_count,Nat.is_le(length,Nat.mul(4n,U32.to_nat(capacity))),a,length)

Uses (10)

Used by (1)