Checked (mina_base.Mina_base.Zkapp_precondition.Protocol_state.Epoch

type t =
  ( ( Frozen_ledger_hash.var Hash.Checked.t,
      Currency.Amount.var Numeric.Checked.t )
      Epoch_ledger.Poly.t,
    Epoch_seed.var Hash.Checked.t,
    State_hash.var Hash.Checked.t,
    State_hash.var Hash.Checked.t,
    Mina_numbers.Length.Checked.t Numeric.Checked.t )
    Poly.t

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