~/jendhub

def fmul

bend-collections-laws-crypto@1.0.0.0 · spec/crypto/curve25519/field.bend:90

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

90def fmul(+p: Nat, a: Nat, b: Nat) -> Nat:
91  Nat.mod(Nat.mul(a, b), p)

Uses (3)

Used by (34)