Parameter Make_Curve25519.1-Impl
val reqs : AutoConfig2.feature listval secret_to_public : SharedDefs.CBytes.buf -> SharedDefs.CBytes.buf -> unitval scalarmult : SharedDefs.CBytes.buf -> SharedDefs.CBytes.buf -> SharedDefs.CBytes.buf -> unitval ecdh : SharedDefs.CBytes.buf -> SharedDefs.CBytes.buf -> SharedDefs.CBytes.buf -> bool