def hx
import bend-osdev-aead@0.1.0.0/check.bend as Checkimport Base
import bend-osdev-bytes@0.1.0.0/bytes.bend as B
77def hx(s: String) -> B.Octets:
78 B.Octets.of_list(ad.check.hex(B.Octets.to_list(B.Octets.of_string(s)), Nil{}))
import bend-osdev-aead@0.1.0.0/check.bend as Checkimport Base
import bend-osdev-bytes@0.1.0.0/bytes.bend as B
77def hx(s: String) -> B.Octets:
78 B.Octets.of_list(ad.check.hex(B.Octets.to_list(B.Octets.of_string(s)), Nil{}))