def tagged
import bend-collections@1.0.0.0/src/crypto/secp256k1/schnorr.bend as Schnorrimport Base
import bend-collections@1.0.0.0/src/crypto/sha/sha256.bend as SHA
35def tagged(tag: List<&2, U32>, x: List<&2, U32>) -> List<&2, U32>:
36 tagged_h(SHA.sha256_bytes(tag), x)