Message (consensus.Consensus

module Global_slot = Mina_numbers.Global_slot

type ('global_slot, 'epoch_seed, 'delegator) t = {

global_slot : 'global_slot;

seed : 'epoch_seed;

delegator : 'delegator;

}

val t_of_sexp : 
  'global_slot 'epoch_seed 'delegator. ( Ppx_sexp_conv_lib.Sexp.t ->
                                         'global_slot ) ->
  ( Ppx_sexp_conv_lib.Sexp.t -> 'epoch_seed ) ->
  ( Ppx_sexp_conv_lib.Sexp.t -> 'delegator ) ->
  Ppx_sexp_conv_lib.Sexp.t ->
  ( 'global_slot, 'epoch_seed, 'delegator ) t

val sexp_of_t : 
  'global_slot 'epoch_seed 'delegator. ( 'global_slot ->
                                         Ppx_sexp_conv_lib.Sexp.t ) ->
  ( 'epoch_seed -> Ppx_sexp_conv_lib.Sexp.t ) ->
  ( 'delegator -> Ppx_sexp_conv_lib.Sexp.t ) ->
  ( 'global_slot, 'epoch_seed, 'delegator ) t ->
  Ppx_sexp_conv_lib.Sexp.t

val to_hlist : 
  ( 'global_slot, 'epoch_seed, 'delegator ) t ->
  ( unit, 'global_slot -> 'epoch_seed -> 'delegator -> unit ) H_list.t

val of_hlist : 
  ( unit, 'global_slot -> 'epoch_seed -> 'delegator -> unit ) H_list.t ->
  ( 'global_slot, 'epoch_seed, 'delegator ) t

type value =
  ( Global_slot.t, Mina_base.Epoch_seed.t, Mina_base.Account.Index.t ) t

val value_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> value

val sexp_of_value : value -> Ppx_sexp_conv_lib.Sexp.t

type var =
  ( Global_slot.Checked.t,
    Mina_base.Epoch_seed.var,
    Mina_base.Account.Index.Unpacked.var )
    t

val to_input : 
  constraint_constants:Genesis_constants.Constraint_constants.t ->
  value ->
  Snark_params.Tick.field Random_oracle.Input.Chunked.t

val typ : 
  constraint_constants:Genesis_constants.Constraint_constants.t ->
  ( var, value ) Snark_params.Tick.Typ.t

val hash_to_group : 
  constraint_constants:Genesis_constants.Constraint_constants.t ->
  value ->
  Pasta_bindings.Pallas.t

module Checked : sig ... end

val gen : 
  constraint_constants:Genesis_constants.Constraint_constants.t ->
  ( Global_slot.t, Mina_base.Epoch_seed.t, Core_kernel.Int.t ) t
    Core_kernel__Quickcheck.Generator.t