def sign_len
import bend-collections-laws-crypto@1.0.0.0/src/crypto/secp256k1/schnorr.bend as Schnorrimport Base
150def sign_len(+sk: List<&2, U32>, +m: List<&2, U32>, +aux: List<&2, U32>, ok: Bool) -> Maybe<&2, List<&2, U32>>:
151 match ok:
152 case True{}: sign_d(m, aux, secret(sk))
153 case False{}: None{}