Module Zkapp_command.Valid

module Verification_key_hash : sig ... end
module Stable : sig ... end
type t = private Stable.Latest.t = {
zkapp_command : T.t;
verification_keys : (Account_id.t * Verification_key_hash.t) list;
}
val to_yojson : t -> Yojson.Safe.t
val of_yojson : Yojson.Safe.t -> t Ppx_deriving_yojson_runtime.error_or
include Ppx_sexp_conv_lib.Sexpable.S with type t := t
val t_of_sexp : Sexplib0__.Sexp.t -> t
val sexp_of_t : t -> Sexplib0__.Sexp.t
val compare : t -> t -> int
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_valid_unsafe : T.t -> [> `If_this_is_used_it_should_have_a_comment_justifying_it of t ]
val to_valid : T.t -> ledger:'a -> get:( 'a -> 'b -> Account.t option ) -> location_of_account:( 'a -> Account_id.t -> 'b option ) -> t Core_kernel.Or_error.t
val of_verifiable : Verifiable.t -> t Core_kernel.Or_error.t
val forget : t -> T.t