Tc (mina_base.Mina_base.Zkapp_precondition.Eq

type ('var, 'a) t = {

equal : 'a -> 'a -> bool;

equal_checked : 'var -> 'var -> Snark_params.Tick.Boolean.var;

default : 'a;

typ : ( 'var, 'a ) Snark_params.Tick.Typ.t;

to_input : 'a -> Zkapp_basic.F.t Random_oracle_input.Chunked.t;

to_input_checked : 'var ->
  Snark_params.Tick.Field.Var.t Random_oracle_input.Chunked.t;

}

val run : ( 'a -> 'b -> 'c Impl.Internal_Basic.Checked.t ) -> 'd -> 'e -> 'f

val field : 
  ( Backend.Tick.Field.t Snarky_backendless.Cvar.t, Snark_params.Tick.Field.t )
    t

val sequence_state : 
  ( Backend.Tick.Field.t Snarky_backendless.Cvar.t, Snark_params.Tick.Field.t )
    t
    lazy_t

val boolean : ( Snark_params.Tick.Boolean.var, Core_kernel.Bool.t ) t

val receipt_chain_hash : 
  ( Receipt.Chain_hash.var, Snark_params.Tick.Field.t ) t

val ledger_hash : ( Ledger_hash.var, Snark_params.Tick.Field.t ) t

val frozen_ledger_hash : 
  ( Frozen_ledger_hash.var, Snark_params.Tick.Field.t ) t

val state_hash : ( State_hash.var, Snark_params.Tick.Field.t ) t

val token_id : 
  ( Token_id.Checked.t, Mina_wire_types.Mina_base.Account_id.Digest.V1.t ) t

val epoch_seed : ( Epoch_seed.var, Snark_params.Tick.Field.t ) t

val public_key : 
  unit ->
  ( ( Snark_params.Tick.Field.Var.t, Snark_params.Tick.Boolean.var )
      Mina_wire_types.Public_key.Compressed.Poly.V1.t,
    Signature_lib.Public_key.Compressed.t )
    t