mec.signature
Mec_signature.Reddsa
mec
mec.Curve
mec.CurveSig
mec.curve
mec.digestif
mec.hash
mec.permutation
mec.utils
mec_curve_utils
module type SIGNATURE_SCHEME = sig ... end
module MakeRedDSA (Ec : Mec_curve_sig.Ec_sig.AffineEdwardsT) (Param : sig ... end) : SIGNATURE_SCHEME with type secret_key = Ec.Scalar.t and type public_key = Ec.t