Checked (mina_base.Mina_base.Account_update.Preconditions.Checked)

module Type_of_var (V : sig ... end) : sig ... end

module Int_as_prover_ref : sig ... end

type t = {

network : Zkapp_precondition.Protocol_state.Checked.t;

account : Account_precondition.Checked.t;

}

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

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

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

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

val account : t -> Account_precondition.Checked.t

val network : t -> Zkapp_precondition.Protocol_state.Checked.t

module Fields : sig ... end

val to_input : t -> Snark_params.Tick.Field.Var.t Random_oracle.Input.Chunked.t