Poly (mina_base.Mina_base.Zkapp

module Stable : sig ... end

type ('app_state, 'vk, 'zkapp_version, 'field, 'slot, 'bool, 'zkapp_uri) t =
  ( 'app_state, 'vk, 'zkapp_version, 'field, 'slot, 'bool, 'zkapp_uri )
    Stable.Latest.t =
  {

app_state : 'app_state;

verification_key : 'vk;

zkapp_version : 'zkapp_version;

sequence_state : 'field Pickles_types.Vector.Vector_5.t;

last_sequence_slot : 'slot;

proved_state : 'bool;

zkapp_uri : 'zkapp_uri;

}

val to_yojson : 
  'app_state 'vk 'zkapp_version 'field 'slot 'bool 'zkapp_uri. ( 'app_state ->
                                                                 Yojson.Safe.t ) ->
  ( 'vk -> Yojson.Safe.t ) ->
  ( 'zkapp_version -> Yojson.Safe.t ) ->
  ( 'field -> Yojson.Safe.t ) ->
  ( 'slot -> Yojson.Safe.t ) ->
  ( 'bool -> Yojson.Safe.t ) ->
  ( 'zkapp_uri -> Yojson.Safe.t ) ->
  ( 'app_state, 'vk, 'zkapp_version, 'field, 'slot, 'bool, 'zkapp_uri ) t ->
  Yojson.Safe.t

val of_yojson : 
  'app_state 'vk 'zkapp_version 'field 'slot 'bool 'zkapp_uri. ( Yojson.Safe.t ->
                                                                 'app_state
                                                                   Ppx_deriving_yojson_runtime.error_or ) ->
  ( Yojson.Safe.t -> 'vk Ppx_deriving_yojson_runtime.error_or ) ->
  ( Yojson.Safe.t -> 'zkapp_version Ppx_deriving_yojson_runtime.error_or ) ->
  ( Yojson.Safe.t -> 'field Ppx_deriving_yojson_runtime.error_or ) ->
  ( Yojson.Safe.t -> 'slot Ppx_deriving_yojson_runtime.error_or ) ->
  ( Yojson.Safe.t -> 'bool Ppx_deriving_yojson_runtime.error_or ) ->
  ( Yojson.Safe.t -> 'zkapp_uri Ppx_deriving_yojson_runtime.error_or ) ->
  Yojson.Safe.t ->
  ( 'app_state, 'vk, 'zkapp_version, 'field, 'slot, 'bool, 'zkapp_uri ) 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 -> 'g Ppx_deriving_yojson_runtime.error_or ) ->
  Yojson.Safe.t ->
  ( 'a, 'b, 'c, 'd, 'e, 'f, 'g ) t Ppx_deriving_yojson_runtime.error_or

val t_of_sexp : 
  'app_state 'vk 'zkapp_version 'field 'slot 'bool 'zkapp_uri. ( Ppx_sexp_conv_lib.Sexp.t ->
                                                                 'app_state ) ->
  ( Ppx_sexp_conv_lib.Sexp.t -> 'vk ) ->
  ( Ppx_sexp_conv_lib.Sexp.t -> 'zkapp_version ) ->
  ( Ppx_sexp_conv_lib.Sexp.t -> 'field ) ->
  ( Ppx_sexp_conv_lib.Sexp.t -> 'slot ) ->
  ( Ppx_sexp_conv_lib.Sexp.t -> 'bool ) ->
  ( Ppx_sexp_conv_lib.Sexp.t -> 'zkapp_uri ) ->
  Ppx_sexp_conv_lib.Sexp.t ->
  ( 'app_state, 'vk, 'zkapp_version, 'field, 'slot, 'bool, 'zkapp_uri ) t

val sexp_of_t : 
  'app_state 'vk 'zkapp_version 'field 'slot 'bool 'zkapp_uri. ( 'app_state ->
                                                                 Ppx_sexp_conv_lib.Sexp.t ) ->
  ( 'vk -> Ppx_sexp_conv_lib.Sexp.t ) ->
  ( 'zkapp_version -> Ppx_sexp_conv_lib.Sexp.t ) ->
  ( 'field -> Ppx_sexp_conv_lib.Sexp.t ) ->
  ( 'slot -> Ppx_sexp_conv_lib.Sexp.t ) ->
  ( 'bool -> Ppx_sexp_conv_lib.Sexp.t ) ->
  ( 'zkapp_uri -> Ppx_sexp_conv_lib.Sexp.t ) ->
  ( 'app_state, 'vk, 'zkapp_version, 'field, 'slot, 'bool, 'zkapp_uri ) t ->
  Ppx_sexp_conv_lib.Sexp.t

val equal : 
  'app_state 'vk 'zkapp_version 'field 'slot 'bool 'zkapp_uri. ( 'app_state ->
                                                                 'app_state ->
                                                                 bool ) ->
  ( 'vk -> 'vk -> bool ) ->
  ( 'zkapp_version -> 'zkapp_version -> bool ) ->
  ( 'field -> 'field -> bool ) ->
  ( 'slot -> 'slot -> bool ) ->
  ( 'bool -> 'bool -> bool ) ->
  ( 'zkapp_uri -> 'zkapp_uri -> bool ) ->
  ( 'app_state, 'vk, 'zkapp_version, 'field, 'slot, 'bool, 'zkapp_uri ) t ->
  ( 'app_state, 'vk, 'zkapp_version, 'field, 'slot, 'bool, 'zkapp_uri ) t ->
  bool

val compare : 
  'app_state 'vk 'zkapp_version 'field 'slot 'bool 'zkapp_uri. ( 'app_state ->
                                                                 'app_state ->
                                                                 int ) ->
  ( 'vk -> 'vk -> int ) ->
  ( 'zkapp_version -> 'zkapp_version -> int ) ->
  ( 'field -> 'field -> int ) ->
  ( 'slot -> 'slot -> int ) ->
  ( 'bool -> 'bool -> int ) ->
  ( 'zkapp_uri -> 'zkapp_uri -> int ) ->
  ( 'app_state, 'vk, 'zkapp_version, 'field, 'slot, 'bool, 'zkapp_uri ) t ->
  ( 'app_state, 'vk, 'zkapp_version, 'field, 'slot, 'bool, 'zkapp_uri ) t ->
  int

val hash_fold_t : 
  'app_state 'vk 'zkapp_version 'field 'slot 'bool 'zkapp_uri. ( Ppx_hash_lib.Std.Hash.state ->
                                                                 'app_state ->
                                                                 Ppx_hash_lib.Std.Hash.state ) ->
  ( Ppx_hash_lib.Std.Hash.state -> 'vk -> Ppx_hash_lib.Std.Hash.state ) ->
  ( Ppx_hash_lib.Std.Hash.state ->
    'zkapp_version ->
    Ppx_hash_lib.Std.Hash.state ) ->
  ( Ppx_hash_lib.Std.Hash.state -> 'field -> Ppx_hash_lib.Std.Hash.state ) ->
  ( Ppx_hash_lib.Std.Hash.state -> 'slot -> Ppx_hash_lib.Std.Hash.state ) ->
  ( Ppx_hash_lib.Std.Hash.state -> 'bool -> Ppx_hash_lib.Std.Hash.state ) ->
  ( Ppx_hash_lib.Std.Hash.state -> 'zkapp_uri -> Ppx_hash_lib.Std.Hash.state ) ->
  Ppx_hash_lib.Std.Hash.state ->
  ( 'app_state, 'vk, 'zkapp_version, 'field, 'slot, 'bool, 'zkapp_uri ) t ->
  Ppx_hash_lib.Std.Hash.state

val to_hlist : 
  ( 'app_state, 'vk, 'zkapp_version, 'field, 'slot, 'bool, 'zkapp_uri ) t ->
  ( unit,
    'app_state ->
    'vk ->
    'zkapp_version ->
    'field Pickles_types.Vector.Vector_5.t ->
    'slot ->
    'bool ->
    'zkapp_uri ->
    unit )
    H_list.t

val of_hlist : 
  ( unit,
    'app_state ->
    'vk ->
    'zkapp_version ->
    'field Pickles_types.Vector.Vector_5.t ->
    'slot ->
    'bool ->
    'zkapp_uri ->
    unit )
    H_list.t ->
  ( 'app_state, 'vk, 'zkapp_version, 'field, 'slot, 'bool, 'zkapp_uri ) t

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

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

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

val sequence_state : 
  ( 'a, 'b, 'c, 'd, 'e, 'f, 'g ) t ->
  'd Pickles_types.Vector.Vector_5.t

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

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

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

module Fields : sig ... end