Discrete_log_equality.Poly
module Stable : sig ... end
type 'scalar t = 'scalar Stable.Latest.t = {
c : 'scalar;
s : 'scalar;
}
val t_of_sexp : 'scalar. ( Ppx_sexp_conv_lib.Sexp.t -> 'scalar ) -> Ppx_sexp_conv_lib.Sexp.t -> 'scalar t
val sexp_of_t : 'scalar. ( 'scalar -> Ppx_sexp_conv_lib.Sexp.t ) -> 'scalar t -> Ppx_sexp_conv_lib.Sexp.t