def bxor

bend-collections-laws-crypto@1.0.0.0 · spec/crypto/curve25519/x25519.bend:70

import Base

70# swap ^= k_t, on bits
71def bxor(a: Nat, b: Nat) -> Nat:
72  match a:
73    case 0n:
74      b
75    case 1n+q:
76      Nat.sub(1n, b)