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