def fsub

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

import Base

87def fsub(+p: Nat, a: Nat, b: Nat) -> Nat:
88  Nat.mod(Nat.sub(Nat.add(a, p), Nat.mod(b, p)), p)

Uses (4)