Signature.RedDSA
module type SIGNATURE_SCHEME = sig ... end
module MakeRedDSA (Ec : sig ... end) (Param : sig ... end) : SIGNATURE_SCHEME with type secret_key = Ec.Scalar.t and type public_key = Ec.t