~/jendhub

def modulus

bend-collections-laws-crypto@1.0.0.0 · spec/lib/numeric.bend:57

import bend-collections-laws-crypto@1.0.0.0/spec/lib/numeric.bend as Numeric
import Base

57def modulus() -> Nat:
58  Nat.pow(2n, 64n)

Uses (2)

Used by (1)