Checked (mina_base.Mina_base.Zkapp

type t =
  ( Account.Checked.t,
    Protocol_state.Checked.t,
    Other.Checked.t,
    Signature_lib.Public_key.Compressed.var Zkapp_basic.Or_ignore.Checked.t )
    Poly.Stable.Latest.t

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

val digest : t -> Random_oracle.Checked.Digest.t