def byte
import ezx@1.11.0.0/src/share/sha.bend as Shaimport Base
15# one character as the byte it contributes
16def byte(ch: Char) -> U32:
17 Char.to_u32(ch)
import ezx@1.11.0.0/src/share/sha.bend as Shaimport Base
15# one character as the byte it contributes
16def byte(ch: Char) -> U32:
17 Char.to_u32(ch)