Epoch_data (mina_base.Mina_base.Epoch

module Poly : sig ... end

type var =
  ( Epoch_ledger.var,
    Epoch_seed.var,
    State_hash.var,
    State_hash.var,
    Mina_numbers.Length.Checked.t )
    Poly.t

val if_ : 
  Snark_params.Tick.Boolean.var ->
  then_:var ->
  else_:var ->
  ( ( ( Frozen_ledger_hash0.var, Currency.Amount.var ) Epoch_ledger.Poly.t,
      Epoch_seed.var,
      State_hash.var,
      State_hash.var,
      Mina_numbers.Length.Checked.t )
      Poly.t,
    Backend.Tick.Field.t )
    Snarky_backendless.Checked_runner.Simple.t

module Value : sig ... end