def observe

bend-collections@1.0.0.0 · proofs/crypto/sha/packed/buffer_proof.bend:42

import Base

42# Full public-result observation against the independent packed specification.
43def observe(r: Maybe<&1,Array<U32>>) -> Maybe<&2,List<&2,U32>>:
44  match r:
45    case None{}: None{}
46    case Some{a}: Some{words(a)}