def ascii

bend-collections-laws-crypto@1.0.0.0 · proofs/crypto/sha/packed/legacy_model.bend:32

import Base
import bend-collections-laws-crypto@1.0.0.0/proofs/crypto/sha/packed/core_model.bend as Core

32def ascii(s: String) -> List<&2, U32>:
33  Core.ascii(s)