Checked (mina_base.Mina_base.Zkapp_precondition.Protocol

type t =
  ( Frozen_ledger_hash.var Hash.Checked.t,
    Mina_numbers.Length.Checked.t Numeric.Checked.t,
    unit,
    Mina_numbers.Global_slot.Checked.t Numeric.Checked.t,
    Currency.Amount.var Numeric.Checked.t,
    Epoch_data.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

val check : t -> View.Checked.t -> Impl.Boolean.var