Poly (mina_base.Mina_base.Zkapp_precondition.Other.Poly)

module Stable : sig ... end

type ('account, 'account_transition, 'vk) t =
  ( 'account, 'account_transition, 'vk ) Stable.Latest.t =
  {

predicate : 'account;

account_transition : 'account_transition;

account_vk : 'vk;

}

val to_yojson : 
  'account 'account_transition 'vk. ( 'account -> Yojson.Safe.t ) ->
  ( 'account_transition -> Yojson.Safe.t ) ->
  ( 'vk -> Yojson.Safe.t ) ->
  ( 'account, 'account_transition, 'vk ) t ->
  Yojson.Safe.t

val of_yojson : 
  'account 'account_transition 'vk. ( Yojson.Safe.t ->
                                      'account
                                        Ppx_deriving_yojson_runtime.error_or ) ->
  ( Yojson.Safe.t -> 'account_transition Ppx_deriving_yojson_runtime.error_or ) ->
  ( Yojson.Safe.t -> 'vk Ppx_deriving_yojson_runtime.error_or ) ->
  Yojson.Safe.t ->
  ( 'account, 'account_transition, 'vk ) 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 ->
  ( 'a, 'b, 'c ) t Ppx_deriving_yojson_runtime.error_or

val to_hlist : 
  ( 'account, 'account_transition, 'vk ) t ->
  ( unit, 'account -> 'account_transition -> 'vk -> unit ) H_list.t

val of_hlist : 
  ( unit, 'account -> 'account_transition -> 'vk -> unit ) H_list.t ->
  ( 'account, 'account_transition, 'vk ) t

val t_of_sexp : 
  'account 'account_transition 'vk. ( Ppx_sexp_conv_lib.Sexp.t -> 'account ) ->
  ( Ppx_sexp_conv_lib.Sexp.t -> 'account_transition ) ->
  ( Ppx_sexp_conv_lib.Sexp.t -> 'vk ) ->
  Ppx_sexp_conv_lib.Sexp.t ->
  ( 'account, 'account_transition, 'vk ) t

val sexp_of_t : 
  'account 'account_transition 'vk. ( 'account -> Ppx_sexp_conv_lib.Sexp.t ) ->
  ( 'account_transition -> Ppx_sexp_conv_lib.Sexp.t ) ->
  ( 'vk -> Ppx_sexp_conv_lib.Sexp.t ) ->
  ( 'account, 'account_transition, 'vk ) t ->
  Ppx_sexp_conv_lib.Sexp.t

val equal : 
  'account 'account_transition 'vk. ( 'account -> 'account -> bool ) ->
  ( 'account_transition -> 'account_transition -> bool ) ->
  ( 'vk -> 'vk -> bool ) ->
  ( 'account, 'account_transition, 'vk ) t ->
  ( 'account, 'account_transition, 'vk ) t ->
  bool

val hash_fold_t : 
  'account 'account_transition 'vk. ( Ppx_hash_lib.Std.Hash.state ->
                                      'account ->
                                      Ppx_hash_lib.Std.Hash.state ) ->
  ( Ppx_hash_lib.Std.Hash.state ->
    'account_transition ->
    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 ->
  ( 'account, 'account_transition, 'vk ) t ->
  Ppx_hash_lib.Std.Hash.state

val compare : 
  'account 'account_transition 'vk. ( 'account -> 'account -> int ) ->
  ( 'account_transition -> 'account_transition -> int ) ->
  ( 'vk -> 'vk -> int ) ->
  ( 'account, 'account_transition, 'vk ) t ->
  ( 'account, 'account_transition, 'vk ) t ->
  int