Poly (mina_base.Mina_base.Zkapp_precondition.Protocol

module Stable : sig ... end

type ('snarked_ledger_hash, 'length, 'vrf_output, 'global_slot, 'amount, 'epoch_data)
  t =
  ( 'snarked_ledger_hash,
    'length,
    'vrf_output,
    'global_slot,
    'amount,
    'epoch_data )
    Stable.Latest.t =
  {

snarked_ledger_hash : 'snarked_ledger_hash;

blockchain_length : 'length;

min_window_density : 'length;

last_vrf_output : 'vrf_output;

total_currency : 'amount;

global_slot_since_genesis : 'global_slot;

staking_epoch_data : 'epoch_data;

next_epoch_data : 'epoch_data;

}

val to_yojson : 
  'snarked_ledger_hash 'length 'vrf_output 'global_slot 'amount 'epoch_data. 
  ( 'snarked_ledger_hash ->
    Yojson.Safe.t ) ->
  ( 'length -> Yojson.Safe.t ) ->
  ( 'vrf_output -> Yojson.Safe.t ) ->
  ( 'global_slot -> Yojson.Safe.t ) ->
  ( 'amount -> Yojson.Safe.t ) ->
  ( 'epoch_data -> Yojson.Safe.t ) ->
  ( 'snarked_ledger_hash,
    'length,
    'vrf_output,
    'global_slot,
    'amount,
    'epoch_data )
    t ->
  Yojson.Safe.t

val of_yojson : 
  'snarked_ledger_hash 'length 'vrf_output 'global_slot 'amount 'epoch_data. 
  ( Yojson.Safe.t ->
    'snarked_ledger_hash Ppx_deriving_yojson_runtime.error_or ) ->
  ( Yojson.Safe.t -> 'length Ppx_deriving_yojson_runtime.error_or ) ->
  ( Yojson.Safe.t -> 'vrf_output Ppx_deriving_yojson_runtime.error_or ) ->
  ( Yojson.Safe.t -> 'global_slot Ppx_deriving_yojson_runtime.error_or ) ->
  ( Yojson.Safe.t -> 'amount Ppx_deriving_yojson_runtime.error_or ) ->
  ( Yojson.Safe.t -> 'epoch_data Ppx_deriving_yojson_runtime.error_or ) ->
  Yojson.Safe.t ->
  ( 'snarked_ledger_hash,
    'length,
    'vrf_output,
    'global_slot,
    'amount,
    'epoch_data )
    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 -> 'f Ppx_deriving_yojson_runtime.error_or ) ->
  Yojson.Safe.t ->
  ( 'a, 'b, 'c, 'd, 'e, 'f ) 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 : 
  ( 'snarked_ledger_hash,
    'length,
    'vrf_output,
    'global_slot,
    'amount,
    'epoch_data )
    t ->
  ( unit,
    'snarked_ledger_hash ->
    'length ->
    'length ->
    'vrf_output ->
    'amount ->
    'global_slot ->
    'epoch_data ->
    'epoch_data ->
    unit )
    H_list.t

val of_hlist : 
  ( unit,
    'snarked_ledger_hash ->
    'length ->
    'length ->
    'vrf_output ->
    'amount ->
    'global_slot ->
    'epoch_data ->
    'epoch_data ->
    unit )
    H_list.t ->
  ( 'snarked_ledger_hash,
    'length,
    'vrf_output,
    'global_slot,
    'amount,
    'epoch_data )
    t

val t_of_sexp : 
  'snarked_ledger_hash 'length 'vrf_output 'global_slot 'amount 'epoch_data. 
  ( Ppx_sexp_conv_lib.Sexp.t ->
    'snarked_ledger_hash ) ->
  ( Ppx_sexp_conv_lib.Sexp.t -> 'length ) ->
  ( Ppx_sexp_conv_lib.Sexp.t -> 'vrf_output ) ->
  ( Ppx_sexp_conv_lib.Sexp.t -> 'global_slot ) ->
  ( Ppx_sexp_conv_lib.Sexp.t -> 'amount ) ->
  ( Ppx_sexp_conv_lib.Sexp.t -> 'epoch_data ) ->
  Ppx_sexp_conv_lib.Sexp.t ->
  ( 'snarked_ledger_hash,
    'length,
    'vrf_output,
    'global_slot,
    'amount,
    'epoch_data )
    t

val sexp_of_t : 
  'snarked_ledger_hash 'length 'vrf_output 'global_slot 'amount 'epoch_data. 
  ( 'snarked_ledger_hash ->
    Ppx_sexp_conv_lib.Sexp.t ) ->
  ( 'length -> Ppx_sexp_conv_lib.Sexp.t ) ->
  ( 'vrf_output -> Ppx_sexp_conv_lib.Sexp.t ) ->
  ( 'global_slot -> Ppx_sexp_conv_lib.Sexp.t ) ->
  ( 'amount -> Ppx_sexp_conv_lib.Sexp.t ) ->
  ( 'epoch_data -> Ppx_sexp_conv_lib.Sexp.t ) ->
  ( 'snarked_ledger_hash,
    'length,
    'vrf_output,
    'global_slot,
    'amount,
    'epoch_data )
    t ->
  Ppx_sexp_conv_lib.Sexp.t

val equal : 
  'snarked_ledger_hash 'length 'vrf_output 'global_slot 'amount 'epoch_data. 
  ( 'snarked_ledger_hash ->
    'snarked_ledger_hash ->
    bool ) ->
  ( 'length -> 'length -> bool ) ->
  ( 'vrf_output -> 'vrf_output -> bool ) ->
  ( 'global_slot -> 'global_slot -> bool ) ->
  ( 'amount -> 'amount -> bool ) ->
  ( 'epoch_data -> 'epoch_data -> bool ) ->
  ( 'snarked_ledger_hash,
    'length,
    'vrf_output,
    'global_slot,
    'amount,
    'epoch_data )
    t ->
  ( 'snarked_ledger_hash,
    'length,
    'vrf_output,
    'global_slot,
    'amount,
    'epoch_data )
    t ->
  bool

val hash_fold_t : 
  'snarked_ledger_hash 'length 'vrf_output 'global_slot 'amount 'epoch_data. 
  ( Ppx_hash_lib.Std.Hash.state ->
    'snarked_ledger_hash ->
    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 -> 'vrf_output -> Ppx_hash_lib.Std.Hash.state ) ->
  ( Ppx_hash_lib.Std.Hash.state ->
    'global_slot ->
    Ppx_hash_lib.Std.Hash.state ) ->
  ( Ppx_hash_lib.Std.Hash.state -> 'amount -> Ppx_hash_lib.Std.Hash.state ) ->
  ( Ppx_hash_lib.Std.Hash.state -> 'epoch_data -> Ppx_hash_lib.Std.Hash.state ) ->
  Ppx_hash_lib.Std.Hash.state ->
  ( 'snarked_ledger_hash,
    'length,
    'vrf_output,
    'global_slot,
    'amount,
    'epoch_data )
    t ->
  Ppx_hash_lib.Std.Hash.state

val compare : 
  'snarked_ledger_hash 'length 'vrf_output 'global_slot 'amount 'epoch_data. 
  ( 'snarked_ledger_hash ->
    'snarked_ledger_hash ->
    int ) ->
  ( 'length -> 'length -> int ) ->
  ( 'vrf_output -> 'vrf_output -> int ) ->
  ( 'global_slot -> 'global_slot -> int ) ->
  ( 'amount -> 'amount -> int ) ->
  ( 'epoch_data -> 'epoch_data -> int ) ->
  ( 'snarked_ledger_hash,
    'length,
    'vrf_output,
    'global_slot,
    'amount,
    'epoch_data )
    t ->
  ( 'snarked_ledger_hash,
    'length,
    'vrf_output,
    'global_slot,
    'amount,
    'epoch_data )
    t ->
  int

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

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

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

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

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

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

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

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

module Fields : sig ... end