Parameter Make_Curve25519.Impl

val reqs : AutoConfig2.feature list
val secret_to_public : SharedDefs.CBytes.buf -> SharedDefs.CBytes.buf -> unit