Legacy.Signature
type t = Snark_params.Tick.field * Snark_params.Tick.Inner_curve.Scalar.t
val t_of_sexp : Sexplib0__.Sexp.t -> t
val sexp_of_t : t -> Sexplib0__.Sexp.t
type var = Snark_params.Tick.Field.Var.t * Snark_params.Tick.Inner_curve.Scalar.var
val typ : ( var, t ) Snark_params.Tick.Typ.t