~/jendhub

def eq

bend-collections-laws-crypto@1.0.0.0 · src/crypto/curve25519/field.bend:303

import bend-collections-laws-crypto@1.0.0.0/src/crypto/curve25519/field.bend as Field
import Base

303# a == b in the field
304def eq(+a: List<&2, U32>, +b: List<&2, U32>) -> Bool:
305  is_zero(sub(a, b))

Uses (5)

Used by (8)