Poly (mina_base.Mina_base.Epoch

module Stable : sig ... end

type ('epoch_ledger, 'epoch_seed, 'start_checkpoint, 'lock_checkpoint, 'length)
  t =
  ( 'epoch_ledger, 'epoch_seed, 'start_checkpoint, 'lock_checkpoint, 'length )
    Stable.Latest.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 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