def even

import bend-collections-laws-crypto@1.0.0.0/spec/crypto/secp256k1/schnorr.bend as Schnorr

import Base

52def even(+m: Nat, +y: Nat, +x: Nat) -> Nat:
53  even_b(m, Nat.mod(y, 2n), x)

Uses (3)