Make.Evaluation
type t = ( Group.t, Scalar.t Evaluation.Discrete_log_equality.Poly.t ) Evaluation.Poly.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
val typ : ( var, t ) Impl.Typ.t
val create : Private_key.t -> Message.value -> t
val verified_output : t -> Context.t -> Output_hash.t option
module Checked : sig ... end