~/jendhub

type EPt

bend-collections-laws-crypto@1.0.0.0 · spec/crypto/ed25519.bend:40

import bend-collections-laws-crypto@1.0.0.0/spec/crypto/ed25519.bend as Ed25519
import Base

40type EPt is Data:
41  EPt{x: Nat, y: Nat, z: Nat, t: Nat}

Uses (1)

Used by (38)