Leaf_typs (mina_base.Mina_base.Zkapp_precondition.Leaf

val public_key : 
  unit ->
  ( Signature_lib.Public_key.Compressed.var Zkapp_basic.Or_ignore.Checked.t,
    Signature_lib.Public_key.Compressed.t Zkapp_basic.Or_ignore.Stable.Latest.t )
    Snark_params.Tick.Typ.t

val field : 
  ( Backend.Tick.Field.t Snarky_backendless.Cvar.t Eq_data.Checked.t,
    Snark_params.Tick.Field.t Eq_data.Stable.Latest.t )
    Snark_params.Tick.Typ.t

val receipt_chain_hash : 
  ( Receipt.Chain_hash.var Hash.Checked.t,
    Snark_params.Tick.Field.t Hash.Stable.Latest.t )
    Snark_params.Tick.Typ.t

val ledger_hash : 
  ( Ledger_hash.var Hash.Checked.t,
    Snark_params.Tick.Field.t Hash.Stable.Latest.t )
    Snark_params.Tick.Typ.t

val frozen_ledger_hash : 
  ( Frozen_ledger_hash.var Hash.Checked.t,
    Snark_params.Tick.Field.t Hash.Stable.Latest.t )
    Snark_params.Tick.Typ.t

val state_hash : 
  ( State_hash.var Hash.Checked.t,
    Snark_params.Tick.Field.t Hash.Stable.Latest.t )
    Snark_params.Tick.Typ.t

val length : 
  ( Mina_numbers.Length.Checked.t Closed_interval.t
      Zkapp_basic.Or_ignore.Checked.t,
    Mina_numbers.Length.t Closed_interval.t
      Zkapp_basic.Or_ignore.Stable.Latest.t )
    Snark_params.Tick.Typ.t

val amount : 
  ( Currency.Amount.Checked.t Closed_interval.t Zkapp_basic.Or_ignore.Checked.t,
    Currency.Amount.Stable.Latest.t Closed_interval.t
      Zkapp_basic.Or_ignore.Stable.Latest.t )
    Snark_params.Tick.Typ.t

val balance : 
  ( Currency.Balance.var Closed_interval.t Zkapp_basic.Or_ignore.Checked.t,
    Currency.Balance.Stable.Latest.t Closed_interval.t
      Zkapp_basic.Or_ignore.Stable.Latest.t )
    Snark_params.Tick.Typ.t

val nonce : 
  ( Mina_numbers.Account_nonce.Checked.t Closed_interval.t
      Zkapp_basic.Or_ignore.Checked.t,
    Mina_numbers.Account_nonce.t Closed_interval.t
      Zkapp_basic.Or_ignore.Stable.Latest.t )
    Snark_params.Tick.Typ.t

val global_slot : 
  ( Mina_numbers.Global_slot.Checked.t Closed_interval.t
      Zkapp_basic.Or_ignore.Checked.t,
    Mina_numbers.Global_slot.t Closed_interval.t
      Zkapp_basic.Or_ignore.Stable.Latest.t )
    Snark_params.Tick.Typ.t

val token_id : 
  ( Token_id.Checked.t Hash.Checked.t,
    Mina_wire_types.Mina_base.Account_id.Digest.V1.t Hash.Stable.Latest.t )
    Snark_params.Tick.Typ.t