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

type ('group, 'dleq) t = {

discrete_log_equality : 'dleq;

scaled_message_hash : 'group;

}

val bin_shape_t : 
  Core.Bin_prot.Shape.t ->
  Core.Bin_prot.Shape.t ->
  Core.Bin_prot.Shape.t

val bin_size_t : 
  'group 'dleq. 'group Core.Bin_prot.Size.sizer ->
  'dleq Core.Bin_prot.Size.sizer ->
  ( 'group, 'dleq ) t Core.Bin_prot.Size.sizer

val bin_write_t : 
  'group 'dleq. 'group Core.Bin_prot.Write.writer ->
  'dleq Core.Bin_prot.Write.writer ->
  ( 'group, 'dleq ) t Core.Bin_prot.Write.writer

val bin_writer_t : 
  'a Core.Bin_prot.Type_class.writer ->
  'b Core.Bin_prot.Type_class.writer ->
  ( 'c, 'd ) t Core.Bin_prot.Type_class.writer

val __bin_read_t__ : 
  'group 'dleq. 'group Core.Bin_prot.Read.reader ->
  'dleq Core.Bin_prot.Read.reader ->
  ( int -> ( 'group, 'dleq ) t ) Core.Bin_prot.Read.reader

val bin_read_t : 
  'group 'dleq. 'group Core.Bin_prot.Read.reader ->
  'dleq Core.Bin_prot.Read.reader ->
  ( 'group, 'dleq ) t Core.Bin_prot.Read.reader

val bin_reader_t : 
  'a Core.Bin_prot.Type_class.reader ->
  'b Core.Bin_prot.Type_class.reader ->
  ( 'c, 'd ) t Core.Bin_prot.Type_class.reader

val bin_t : 
  'a Core.Bin_prot.Type_class.t ->
  'b Core.Bin_prot.Type_class.t ->
  ( 'c, 'd ) t Core.Bin_prot.Type_class.t

val version : int

val __versioned__ : unit

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