def fadd

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

import Base

83# arithmetic mod p (every result reduced)
84def fadd(+p: Nat, a: Nat, b: Nat) -> Nat:
85  Nat.mod(Nat.add(a, b), p)

Uses (3)