Poly (vrf_lib.Vrf_lib.Standalone.Evaluation.Poly)

module Stable : sig ... end

type ('group, 'dleq) t = ( 'group, 'dleq ) Stable.Latest.t = {

discrete_log_equality : 'dleq;

scaled_message_hash : 'group;

}

val t_of_sexp : 
  'group 'dleq. ( Ppx_sexp_conv_lib.Sexp.t -> 'group ) ->
  ( Ppx_sexp_conv_lib.Sexp.t -> 'dleq ) ->
  Ppx_sexp_conv_lib.Sexp.t ->
  ( 'group, 'dleq ) t

val sexp_of_t : 
  'group 'dleq. ( 'group -> Ppx_sexp_conv_lib.Sexp.t ) ->
  ( 'dleq -> Ppx_sexp_conv_lib.Sexp.t ) ->
  ( 'group, 'dleq ) t ->
  Ppx_sexp_conv_lib.Sexp.t