Module `View.Checked`

type t =
  ( Frozen_ledger_hash.var,
    Mina_numbers.Length.Checked.t,
    unit,
    Mina_numbers.Global_slot.Checked.t,
    Currency.Amount.var,
    ( ( Frozen_ledger_hash.var, Currency.Amount.var ) Epoch_ledger.Poly.t,
      Epoch_seed.var,
      State_hash.var,
      State_hash.var,
      Mina_numbers.Length.Checked.t )
      Epoch_data.Poly.t )
    Poly.t