Schnorr.tagged_h: def of bend-collections@1.0.0.0
Import: import bend-collections@1.0.0.0/spec/crypto/secp256k1/schnorr.bend as Schnorr
Lines 24-25 of bend-collections@1.0.0.0/spec/crypto/secp256k1/schnorr.bend: https://jend.leeeet.dev/read.txt?path=bend-collections@1.0.0.0/spec/crypto/secp256k1/schnorr.bend&start_line=24&end_line=25

import Base
import bend-collections@1.0.0.0/spec/crypto/sha.bend as FIPS

def tagged_h(+th: List<&2, U32>, x: List<&2, U32>) -> List<&2, U32>:
  FIPS.sha256_bytes(cat(th, cat(th, x)))

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=bend-collections@1.0.0.0/spec/crypto/secp256k1/schnorr.bend&name=cat
  https://jend.leeeet.dev/definition.txt?path=bend-collections@1.0.0.0/spec/crypto/sha.bend&name=sha256_bytes