mec.utils
Make_Module.Ring
mec
mec.Curve
mec.CurveSig
mec.curve
mec.digestif
mec.hash
mec.permutation
mec.signature
mec_curve_utils
type t
val add : t -> t -> t
val mul : t -> t -> t
val negate : t -> t
val zero : t
val one : t
val eq : t -> t -> bool