def ascii

bend-collections@1.0.0.0 · proofs/crypto/sha/packed/core_model.bend:658

import Base

658# ASCII convenience only; binary inputs use sha256 directly.
659def ascii(s: String) -> List<&2, U32>:
660  match s:
661    case SNil{}:
662      Nil{}
663    case SCon{Chr{c}, t}:
664      c <> ascii(t)