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

type ('account, 'protocol_state, 'other, 'pk) t = {

self_predicate : 'account;

other : 'other;

fee_payer : 'pk;

protocol_state_predicate : 'protocol_state;

}

val to_yojson : 
  'account 'protocol_state 'other 'pk. ( 'account -> Yojson.Safe.t ) ->
  ( 'protocol_state -> Yojson.Safe.t ) ->
  ( 'other -> Yojson.Safe.t ) ->
  ( 'pk -> Yojson.Safe.t ) ->
  ( 'account, 'protocol_state, 'other, 'pk ) t ->
  Yojson.Safe.t

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

val bin_size_t : 
  'account 'protocol_state 'other 'pk. 'account Core_kernel.Bin_prot.Size.sizer ->
  'protocol_state Core_kernel.Bin_prot.Size.sizer ->
  'other Core_kernel.Bin_prot.Size.sizer ->
  'pk Core_kernel.Bin_prot.Size.sizer ->
  ( 'account, 'protocol_state, 'other, 'pk ) t Core_kernel.Bin_prot.Size.sizer

val bin_write_t : 
  'account 'protocol_state 'other 'pk. 'account
                                         Core_kernel.Bin_prot.Write.writer ->
  'protocol_state Core_kernel.Bin_prot.Write.writer ->
  'other Core_kernel.Bin_prot.Write.writer ->
  'pk Core_kernel.Bin_prot.Write.writer ->
  ( 'account, 'protocol_state, 'other, 'pk ) 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, 'f, 'g, 'h ) t Core_kernel.Bin_prot.Type_class.writer

val __bin_read_t__ : 
  'account 'protocol_state 'other 'pk. 'account
                                         Core_kernel.Bin_prot.Read.reader ->
  'protocol_state Core_kernel.Bin_prot.Read.reader ->
  'other Core_kernel.Bin_prot.Read.reader ->
  'pk Core_kernel.Bin_prot.Read.reader ->
  ( int ->
    ( 'account, 'protocol_state, 'other, 'pk ) t )
    Core_kernel.Bin_prot.Read.reader

val bin_read_t : 
  'account 'protocol_state 'other 'pk. 'account
                                         Core_kernel.Bin_prot.Read.reader ->
  'protocol_state Core_kernel.Bin_prot.Read.reader ->
  'other Core_kernel.Bin_prot.Read.reader ->
  'pk Core_kernel.Bin_prot.Read.reader ->
  ( 'account, 'protocol_state, 'other, 'pk ) 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, 'f, 'g, 'h ) 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, 'f, 'g, 'h ) t Core_kernel.Bin_prot.Type_class.t

val version : int

val __versioned__ : unit

val to_hlist : 
  ( 'account, 'protocol_state, 'other, 'pk ) t ->
  ( unit, 'account -> 'other -> 'pk -> 'protocol_state -> unit ) H_list.t

val of_hlist : 
  ( unit, 'account -> 'other -> 'pk -> 'protocol_state -> unit ) H_list.t ->
  ( 'account, 'protocol_state, 'other, 'pk ) t

val t_of_sexp : 
  'account 'protocol_state 'other 'pk. ( Ppx_sexp_conv_lib.Sexp.t -> 'account ) ->
  ( Ppx_sexp_conv_lib.Sexp.t -> 'protocol_state ) ->
  ( Ppx_sexp_conv_lib.Sexp.t -> 'other ) ->
  ( Ppx_sexp_conv_lib.Sexp.t -> 'pk ) ->
  Ppx_sexp_conv_lib.Sexp.t ->
  ( 'account, 'protocol_state, 'other, 'pk ) t

val sexp_of_t : 
  'account 'protocol_state 'other 'pk. ( 'account -> Ppx_sexp_conv_lib.Sexp.t ) ->
  ( 'protocol_state -> Ppx_sexp_conv_lib.Sexp.t ) ->
  ( 'other -> Ppx_sexp_conv_lib.Sexp.t ) ->
  ( 'pk -> Ppx_sexp_conv_lib.Sexp.t ) ->
  ( 'account, 'protocol_state, 'other, 'pk ) t ->
  Ppx_sexp_conv_lib.Sexp.t

val equal : 
  'account 'protocol_state 'other 'pk. ( 'account -> 'account -> bool ) ->
  ( 'protocol_state -> 'protocol_state -> bool ) ->
  ( 'other -> 'other -> bool ) ->
  ( 'pk -> 'pk -> bool ) ->
  ( 'account, 'protocol_state, 'other, 'pk ) t ->
  ( 'account, 'protocol_state, 'other, 'pk ) t ->
  bool

val hash_fold_t : 
  'account 'protocol_state 'other 'pk. ( Ppx_hash_lib.Std.Hash.state ->
                                         'account ->
                                         Ppx_hash_lib.Std.Hash.state ) ->
  ( Ppx_hash_lib.Std.Hash.state ->
    'protocol_state ->
    Ppx_hash_lib.Std.Hash.state ) ->
  ( Ppx_hash_lib.Std.Hash.state -> 'other -> Ppx_hash_lib.Std.Hash.state ) ->
  ( Ppx_hash_lib.Std.Hash.state -> 'pk -> Ppx_hash_lib.Std.Hash.state ) ->
  Ppx_hash_lib.Std.Hash.state ->
  ( 'account, 'protocol_state, 'other, 'pk ) t ->
  Ppx_hash_lib.Std.Hash.state

val compare : 
  'account 'protocol_state 'other 'pk. ( 'account -> 'account -> int ) ->
  ( 'protocol_state -> 'protocol_state -> int ) ->
  ( 'other -> 'other -> int ) ->
  ( 'pk -> 'pk -> int ) ->
  ( 'account, 'protocol_state, 'other, 'pk ) t ->
  ( 'account, 'protocol_state, 'other, 'pk ) t ->
  int

val to_latest : 'a -> 'a