mec.hash
Pedersen_hash.MakePedersenHash
mec
mec.Curve
mec.CurveSig
mec.curve
mec.digestif
mec.permutation
mec.signature
mec.utils
mec_curve_utils
module Ec : Mec_curve_sig.Ec_sig.BASE
module Params : sig ... end
val hash : Mec_utils.Iterator.Bit.t -> Ec.t