Make.Signature
type t = Impl.field * Curve.Scalar.t
include Ppx_sexp_conv_lib.Sexpable.S with type t := t
val t_of_sexp : Sexplib0__.Sexp.t -> t
val sexp_of_t : t -> Sexplib0__.Sexp.t
type var = Impl.Field.Var.t * Curve.Scalar.var
val typ : ( var, t ) Impl.Typ.t