Parameter Make_EdDSA.Impl

val secret_to_public : SharedDefs.CBytes.buf -> SharedDefs.CBytes.buf -> unit
val sign : SharedDefs.CBytes.buf -> SharedDefs.CBytes.buf -> Unsigned.uint32 -> SharedDefs.CBytes.buf -> unit
val verify : SharedDefs.CBytes.buf -> Unsigned.uint32 -> SharedDefs.CBytes.buf -> SharedDefs.CBytes.buf -> bool
val expand_keys : SharedDefs.CBytes.buf -> SharedDefs.CBytes.buf -> unit
val sign_expanded : SharedDefs.CBytes.buf -> SharedDefs.CBytes.buf -> Unsigned.uint32 -> SharedDefs.CBytes.buf -> unit