V1 (mina_base.Mina_base.Epoch_data.Poly.Stable.V1)

type ('epoch_ledger, 'epoch_seed, 'start_checkpoint, 'lock_checkpoint, 'length)
  t =
  ( 'epoch_ledger, 'epoch_seed, 'start_checkpoint, 'lock_checkpoint, 'length )
    Mina_wire_types.Mina_base.Epoch_data.Poly.V1.t =
  {

ledger : 'epoch_ledger;

seed : 'epoch_seed;

start_checkpoint : 'start_checkpoint;

lock_checkpoint : 'lock_checkpoint;

epoch_length : 'length;

}

val to_yojson : 
  'epoch_ledger 'epoch_seed 'start_checkpoint 'lock_checkpoint 'length. 
  ( 'epoch_ledger ->
    Yojson.Safe.t ) ->
  ( 'epoch_seed -> Yojson.Safe.t ) ->
  ( 'start_checkpoint -> Yojson.Safe.t ) ->
  ( 'lock_checkpoint -> Yojson.Safe.t ) ->
  ( 'length -> Yojson.Safe.t ) ->
  ( 'epoch_ledger, 'epoch_seed, 'start_checkpoint, 'lock_checkpoint, 'length )
    t ->
  Yojson.Safe.t

val of_yojson : 
  'epoch_ledger 'epoch_seed 'start_checkpoint 'lock_checkpoint 'length. 
  ( Yojson.Safe.t ->
    'epoch_ledger Ppx_deriving_yojson_runtime.error_or ) ->
  ( Yojson.Safe.t -> 'epoch_seed Ppx_deriving_yojson_runtime.error_or ) ->
  ( Yojson.Safe.t -> 'start_checkpoint Ppx_deriving_yojson_runtime.error_or ) ->
  ( Yojson.Safe.t -> 'lock_checkpoint Ppx_deriving_yojson_runtime.error_or ) ->
  ( Yojson.Safe.t -> 'length Ppx_deriving_yojson_runtime.error_or ) ->
  Yojson.Safe.t ->
  ( 'epoch_ledger, 'epoch_seed, 'start_checkpoint, 'lock_checkpoint, 'length )
    t
    Ppx_deriving_yojson_runtime.error_or

val _ : 
  ( Yojson.Safe.t -> 'a Ppx_deriving_yojson_runtime.error_or ) ->
  ( Yojson.Safe.t -> 'b Ppx_deriving_yojson_runtime.error_or ) ->
  ( Yojson.Safe.t -> 'c Ppx_deriving_yojson_runtime.error_or ) ->
  ( Yojson.Safe.t -> 'd Ppx_deriving_yojson_runtime.error_or ) ->
  ( Yojson.Safe.t -> 'e Ppx_deriving_yojson_runtime.error_or ) ->
  Yojson.Safe.t ->
  ( 'a, 'b, 'c, 'd, 'e ) t Ppx_deriving_yojson_runtime.error_or

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

val bin_size_t : 
  'epoch_ledger 'epoch_seed 'start_checkpoint 'lock_checkpoint 'length. 
  'epoch_ledger Core_kernel.Bin_prot.Size.sizer ->
  'epoch_seed Core_kernel.Bin_prot.Size.sizer ->
  'start_checkpoint Core_kernel.Bin_prot.Size.sizer ->
  'lock_checkpoint Core_kernel.Bin_prot.Size.sizer ->
  'length Core_kernel.Bin_prot.Size.sizer ->
  ( 'epoch_ledger, 'epoch_seed, 'start_checkpoint, 'lock_checkpoint, 'length )
    t
    Core_kernel.Bin_prot.Size.sizer

val bin_write_t : 
  'epoch_ledger 'epoch_seed 'start_checkpoint 'lock_checkpoint 'length. 
  'epoch_ledger Core_kernel.Bin_prot.Write.writer ->
  'epoch_seed Core_kernel.Bin_prot.Write.writer ->
  'start_checkpoint Core_kernel.Bin_prot.Write.writer ->
  'lock_checkpoint Core_kernel.Bin_prot.Write.writer ->
  'length Core_kernel.Bin_prot.Write.writer ->
  ( 'epoch_ledger, 'epoch_seed, 'start_checkpoint, 'lock_checkpoint, 'length )
    t
    Core_kernel.Bin_prot.Write.writer

val bin_writer_t : 
  'a Core_kernel.Bin_prot.Type_class.writer ->
  'b Core_kernel.Bin_prot.Type_class.writer ->
  'c Core_kernel.Bin_prot.Type_class.writer ->
  'd Core_kernel.Bin_prot.Type_class.writer ->
  'e Core_kernel.Bin_prot.Type_class.writer ->
  ( 'f, 'g, 'h, 'i, 'j ) t Core_kernel.Bin_prot.Type_class.writer

val __bin_read_t__ : 
  'epoch_ledger 'epoch_seed 'start_checkpoint 'lock_checkpoint 'length. 
  'epoch_ledger Core_kernel.Bin_prot.Read.reader ->
  'epoch_seed Core_kernel.Bin_prot.Read.reader ->
  'start_checkpoint Core_kernel.Bin_prot.Read.reader ->
  'lock_checkpoint Core_kernel.Bin_prot.Read.reader ->
  'length Core_kernel.Bin_prot.Read.reader ->
  ( int ->
    ( 'epoch_ledger,
      'epoch_seed,
      'start_checkpoint,
      'lock_checkpoint,
      'length )
      t )
    Core_kernel.Bin_prot.Read.reader

val bin_read_t : 
  'epoch_ledger 'epoch_seed 'start_checkpoint 'lock_checkpoint 'length. 
  'epoch_ledger Core_kernel.Bin_prot.Read.reader ->
  'epoch_seed Core_kernel.Bin_prot.Read.reader ->
  'start_checkpoint Core_kernel.Bin_prot.Read.reader ->
  'lock_checkpoint Core_kernel.Bin_prot.Read.reader ->
  'length Core_kernel.Bin_prot.Read.reader ->
  ( 'epoch_ledger, 'epoch_seed, 'start_checkpoint, 'lock_checkpoint, 'length )
    t
    Core_kernel.Bin_prot.Read.reader

val bin_reader_t : 
  'a Core_kernel.Bin_prot.Type_class.reader ->
  'b Core_kernel.Bin_prot.Type_class.reader ->
  'c Core_kernel.Bin_prot.Type_class.reader ->
  'd Core_kernel.Bin_prot.Type_class.reader ->
  'e Core_kernel.Bin_prot.Type_class.reader ->
  ( 'f, 'g, 'h, 'i, 'j ) t Core_kernel.Bin_prot.Type_class.reader

val bin_t : 
  'a Core_kernel.Bin_prot.Type_class.t ->
  'b Core_kernel.Bin_prot.Type_class.t ->
  'c Core_kernel.Bin_prot.Type_class.t ->
  'd Core_kernel.Bin_prot.Type_class.t ->
  'e Core_kernel.Bin_prot.Type_class.t ->
  ( 'f, 'g, 'h, 'i, 'j ) t Core_kernel.Bin_prot.Type_class.t

val version : int

val __versioned__ : unit

val t_fields_annots : string -> (string * string option) list

val t_toplevel_annots : unit -> (string * string option) list

val to_hlist : 
  ( 'epoch_ledger, 'epoch_seed, 'start_checkpoint, 'lock_checkpoint, 'length )
    t ->
  ( unit,
    'epoch_ledger ->
    'epoch_seed ->
    'start_checkpoint ->
    'lock_checkpoint ->
    'length ->
    unit )
    H_list.t

val of_hlist : 
  ( unit,
    'epoch_ledger ->
    'epoch_seed ->
    'start_checkpoint ->
    'lock_checkpoint ->
    'length ->
    unit )
    H_list.t ->
  ( 'epoch_ledger, 'epoch_seed, 'start_checkpoint, 'lock_checkpoint, 'length )
    t

val t_of_sexp : 
  'epoch_ledger 'epoch_seed 'start_checkpoint 'lock_checkpoint 'length. 
  ( Ppx_sexp_conv_lib.Sexp.t ->
    'epoch_ledger ) ->
  ( Ppx_sexp_conv_lib.Sexp.t -> 'epoch_seed ) ->
  ( Ppx_sexp_conv_lib.Sexp.t -> 'start_checkpoint ) ->
  ( Ppx_sexp_conv_lib.Sexp.t -> 'lock_checkpoint ) ->
  ( Ppx_sexp_conv_lib.Sexp.t -> 'length ) ->
  Ppx_sexp_conv_lib.Sexp.t ->
  ( 'epoch_ledger, 'epoch_seed, 'start_checkpoint, 'lock_checkpoint, 'length )
    t

val sexp_of_t : 
  'epoch_ledger 'epoch_seed 'start_checkpoint 'lock_checkpoint 'length. 
  ( 'epoch_ledger ->
    Ppx_sexp_conv_lib.Sexp.t ) ->
  ( 'epoch_seed -> Ppx_sexp_conv_lib.Sexp.t ) ->
  ( 'start_checkpoint -> Ppx_sexp_conv_lib.Sexp.t ) ->
  ( 'lock_checkpoint -> Ppx_sexp_conv_lib.Sexp.t ) ->
  ( 'length -> Ppx_sexp_conv_lib.Sexp.t ) ->
  ( 'epoch_ledger, 'epoch_seed, 'start_checkpoint, 'lock_checkpoint, 'length )
    t ->
  Ppx_sexp_conv_lib.Sexp.t

val equal : 
  'epoch_ledger 'epoch_seed 'start_checkpoint 'lock_checkpoint 'length. 
  ( 'epoch_ledger ->
    'epoch_ledger ->
    bool ) ->
  ( 'epoch_seed -> 'epoch_seed -> bool ) ->
  ( 'start_checkpoint -> 'start_checkpoint -> bool ) ->
  ( 'lock_checkpoint -> 'lock_checkpoint -> bool ) ->
  ( 'length -> 'length -> bool ) ->
  ( 'epoch_ledger, 'epoch_seed, 'start_checkpoint, 'lock_checkpoint, 'length )
    t ->
  ( 'epoch_ledger, 'epoch_seed, 'start_checkpoint, 'lock_checkpoint, 'length )
    t ->
  bool

val compare : 
  'epoch_ledger 'epoch_seed 'start_checkpoint 'lock_checkpoint 'length. 
  ( 'epoch_ledger ->
    'epoch_ledger ->
    int ) ->
  ( 'epoch_seed -> 'epoch_seed -> int ) ->
  ( 'start_checkpoint -> 'start_checkpoint -> int ) ->
  ( 'lock_checkpoint -> 'lock_checkpoint -> int ) ->
  ( 'length -> 'length -> int ) ->
  ( 'epoch_ledger, 'epoch_seed, 'start_checkpoint, 'lock_checkpoint, 'length )
    t ->
  ( 'epoch_ledger, 'epoch_seed, 'start_checkpoint, 'lock_checkpoint, 'length )
    t ->
  int

val hash_fold_t : 
  'epoch_ledger 'epoch_seed 'start_checkpoint 'lock_checkpoint 'length. 
  ( Ppx_hash_lib.Std.Hash.state ->
    'epoch_ledger ->
    Ppx_hash_lib.Std.Hash.state ) ->
  ( Ppx_hash_lib.Std.Hash.state -> 'epoch_seed -> Ppx_hash_lib.Std.Hash.state ) ->
  ( Ppx_hash_lib.Std.Hash.state ->
    'start_checkpoint ->
    Ppx_hash_lib.Std.Hash.state ) ->
  ( Ppx_hash_lib.Std.Hash.state ->
    'lock_checkpoint ->
    Ppx_hash_lib.Std.Hash.state ) ->
  ( Ppx_hash_lib.Std.Hash.state -> 'length -> Ppx_hash_lib.Std.Hash.state ) ->
  Ppx_hash_lib.Std.Hash.state ->
  ( 'epoch_ledger, 'epoch_seed, 'start_checkpoint, 'lock_checkpoint, 'length )
    t ->
  Ppx_hash_lib.Std.Hash.state

val epoch_length : ( 'a, 'b, 'c, 'd, 'e ) t -> 'f

val lock_checkpoint : ( 'a, 'b, 'c, 'd, 'e ) t -> 'f

val start_checkpoint : ( 'a, 'b, 'c, 'd, 'e ) t -> 'f

val seed : ( 'a, 'b, 'c, 'd, 'e ) t -> 'f

val ledger : ( 'a, 'b, 'c, 'd, 'e ) t -> 'f

module Fields : sig ... end