mec.signature
Mec_signature.Redjubjub
mec
mec.Curve
mec.CurveSig
mec.curve
mec.digestif
mec.hash
mec.permutation
mec.utils
mec_curve_utils
module Make (Param : sig ... end) : Reddsa.SIGNATURE_SCHEME with type secret_key = Mec_curve.Jubjub.AffineEdwards.Scalar.t and type public_key = Mec_curve.Jubjub.AffineEdwards.t