Parameter Make_EdDSA_generic.1-C
val empty : bytes
val size_uint32 : bytes -> Unsigned.uint32
val ctypes_buf : bytes -> buf
val size : bytes -> int
val equal : bytes -> bytes -> bool
val make : int -> bytes
val disjoint : bytes -> bytes -> bool
val sub : bytes -> int -> int -> bytes
val z_compare : bytes -> Z.t -> int