Module Gadget.Ed25519Source

Specification for Ed25519 is given in RFC 8032 https://www.rfc-editor.org/rfc/rfc8032.txt

Sourcemodule P : sig ... end
Sourcemodule V (L : sig ... end) : sig ... end