def Sign.reject_seed

bend-collections-laws-crypto@1.0.0.0 · spec/crypto/sign.bend:25

import Base
import bend-collections-laws-crypto@1.0.0.0/spec/crypto/curve25519/field.bend as FS
import bend-collections-laws-crypto@1.0.0.0/src/crypto/sign.bend as SG

25def Sign.reject_seed(+seed: List<&2, U32>, +h: {FS.tight(seed) == False{} : Bool}) -> Type:
26  {SG.generate_keypair(seed) == None{} : Maybe<&2, SG.Keypair>}