def result

bend-collections-laws-crypto@1.0.0.0 · src/crypto/sha/packed/buffer.bend:11

import Base
import bend-collections-laws-crypto@1.0.0.0/src/crypto/sha/state.bend as S

11def result(r: Maybe<&2,S.State>) -> Maybe<&1,Array<U32>>:
12  match r:
13    case None{}: None{}
14    case Some{s}: Some{digest(s)}