V1 (mina_base.Mina_base.Account_update.Preconditions.Stable.V1)

type t = Mina_wire_types.Mina_base.Account_update.Preconditions.V1.t = {

network : Zkapp_precondition.Protocol_state.Stable.V1.t;

account : Account_precondition.Stable.V1.t;

}

val to_yojson : t -> Yojson.Safe.t

val of_yojson : Yojson.Safe.t -> t Ppx_deriving_yojson_runtime.error_or

val _ : Yojson.Safe.t -> t Ppx_deriving_yojson_runtime.error_or

val bin_shape_t : Core_kernel.Bin_prot.Shape.t

val bin_size_t : t Core_kernel.Bin_prot.Size.sizer

val bin_write_t : t Core_kernel.Bin_prot.Write.writer

val bin_writer_t : t Core_kernel.Bin_prot.Type_class.writer

val __bin_read_t__ : ( int -> t ) Core_kernel.Bin_prot.Read.reader

val bin_read_t : t Core_kernel.Bin_prot.Read.reader

val bin_reader_t : t Core_kernel.Bin_prot.Type_class.reader

val bin_t : t Core_kernel.Bin_prot.Type_class.t

val version : int

val __versioned__ : unit

val t_fields_annots : string -> (string * string option) list

val t_toplevel_annots : unit -> (string * string option) list

val t_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> t

val sexp_of_t : t -> Ppx_sexp_conv_lib.Sexp.t

val equal : t -> t -> bool

val hash_fold_t : 
  Ppx_hash_lib.Std.Hash.state ->
  t ->
  Ppx_hash_lib.Std.Hash.state

val hash : t -> Ppx_hash_lib.Std.Hash.hash_value

val to_hlist : 
  t ->
  ( unit,
    Zkapp_precondition.Protocol_state.Stable.V1.t ->
    Account_precondition.Stable.V1.t ->
    unit )
    H_list.t

val of_hlist : 
  ( unit,
    Zkapp_precondition.Protocol_state.Stable.V1.t ->
    Account_precondition.Stable.V1.t ->
    unit )
    H_list.t ->
  t

val compare : t -> t -> int

val account : t -> Account_precondition.Stable.V1.t

val network : t -> Zkapp_precondition.Protocol_state.Stable.V1.t

module Fields : sig ... end

val to_latest : 'a -> 'a