Checked (mina_base.Mina_base.Account.Checked)

module Unhashed : sig ... end

val to_input : 
  var ->
  Snark_params.Tick.Field.Var.t Random_oracle.Input.Chunked.t

val digest : 
  var ->
  Random_oracle.Checked.Digest.t Snark_params.Tick.Run.Internal_Basic.Checked.t

val balance_upper_bound : Bignum_bigint.t

val amount_upper_bound : Bignum_bigint.t

val min_balance_at_slot : 
  global_slot:Mina_numbers.Global_slot.Checked.t ->
  cliff_time:Mina_numbers.Global_slot.Checked.t ->
  cliff_amount:Currency.Amount.var ->
  vesting_period:Mina_numbers.Global_slot.Checked.t ->
  vesting_increment:Currency.Amount.var ->
  initial_minimum_balance:Currency.Balance.var ->
  ( Currency.Balance.var, Backend.Tick.Field.t )
    Snarky_backendless.Checked_runner.Simple.t

val has_locked_tokens : 
  global_slot:Mina_numbers.Global_slot.Checked.t ->
  var ->
  ( Snark_params.Tick.Boolean.var, Backend.Tick.Field.t )
    Snarky_backendless.Checked_runner.Simple.t

val has_permission : 
  to_:[< `Receive | `Send | `Set_delegate ] ->
  var ->
  Snark_params.Tick.Boolean.var