Tc (mina_base.Mina_base.Zkapp_precondition.Numeric.Tc)

type ('var, 'a) t = {

zero : 'a;

max_value : 'a;

compare : 'a -> 'a -> int;

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

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;

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

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

}

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

val (!!) : ( 'a -> 'b Impl.Internal_Basic.Checked.t ) -> 'a -> 'c

val length : ( Mina_numbers.Length.Checked.t, Mina_numbers.Length.t ) t

val amount : ( Currency.Amount.Checked.t, Currency.Amount.Stable.Latest.t ) t

val balance : ( Currency.Balance.var, Currency.Balance.Stable.Latest.t ) t

val nonce : 
  ( Mina_numbers.Account_nonce.Checked.t, Mina_numbers.Account_nonce.t ) t

val global_slot : 
  ( Mina_numbers.Global_slot.Checked.t, Mina_numbers.Global_slot.t ) t