Zkapp_statement (mina_base.Mina_base.Zkapp

module Poly : sig ... end

module Stable : sig ... end

type t = Stable.Latest.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 t_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> t

val sexp_of_t : t -> Ppx_sexp_conv_lib.Sexp.t

val to_field_elements : 
  t ->
  Zkapp_command.Transaction_commitment.Stable.V1.t array

val of_tree : 
  ( 'account_update,
    Zkapp_command.Digest.Account_update.t,
    Zkapp_command.Digest.Forest.t )
    Zkapp_command.Call_forest.Tree.t ->
  t

val zkapp_statements_of_forest' : 
  'data Zkapp_command.Call_forest.With_hashes_and_data.t ->
  ('data0 * t) Zkapp_command.Call_forest.With_hashes_and_data.t

val zkapp_statements_of_forest : 
  ( 'account_update,
    Zkapp_command.Digest.Account_update.t,
    Zkapp_command.Digest.Forest.t )
    Zkapp_command.Call_forest.t ->
  ( 'account_update0 * t,
    Zkapp_command.Digest.Account_update.t,
    Zkapp_command.Digest.Forest.t )
    Zkapp_command.Call_forest.t

module Checked : sig ... end

val typ : 
  ( Snark_params.Tick.Field.Var.t Poly.t, Snark_params.Tick.Field.t Poly.t )
    Snark_params.Tick.Typ.t