Epoch_ledger (mina_base.Mina_base.Epoch

module Poly : sig ... end

module Value : sig ... end

val to_input : 
  Value.t ->
  Snark_params.Tick.Field.t Random_oracle_input.Chunked.t

type var = ( Frozen_ledger_hash0.var, Currency.Amount.var ) Poly.t

val typ : ( var, Value.t ) Snark_params.Tick.Typ.t

val var_to_input : 
  var ->
  Random_oracle.Checked.Digest.t Random_oracle_input.Chunked.t

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