Module Hacl.Ed25519

type _ key
val size : int
val pk_size : int
val sk_size : int
val compare : 'a key -> 'a key -> int
val equal : 'a key -> 'a key -> bool
val sk_of_bytes : Stdlib.Bytes.t -> secret key option
val pk_of_bytes : Stdlib.Bytes.t -> public key option
val pk_of_bytes_without_validation : Stdlib.Bytes.t -> public key option
val neuterize : 'a key -> public key
val keypair : unit -> public key * secret key
val to_bytes : _ key -> Stdlib.Bytes.t
val blit_to_bytes : _ key -> ?pos:int -> Stdlib.Bytes.t -> unit
val sign : sk:secret key -> msg:Stdlib.Bytes.t -> Stdlib.Bytes.t
val verify : pk:public key -> msg:Stdlib.Bytes.t -> signature:Stdlib.Bytes.t -> bool