Transaction_validator (transaction_snark.Transaction_snark.Transaction

module Hashless_ledger : Mina_base.Ledger_intf.S

val create : Mina_ledger.Ledger.t -> Hashless_ledger.t

val apply_user_command : 
  constraint_constants:Genesis_constants.Constraint_constants.t ->
  txn_global_slot:Mina_numbers.Global_slot.t ->
  Hashless_ledger.t ->
  Mina_base.Signed_command.With_valid_signature.t ->
  Mina_base.Transaction_status.t Core_kernel.Or_error.t

val apply_transaction : 
  constraint_constants:Genesis_constants.Constraint_constants.t ->
  txn_state_view:Mina_base.Zkapp_precondition.Protocol_state.View.t ->
  Hashless_ledger.t ->
  Mina_transaction.Transaction.t ->
  Mina_base.Transaction_status.t Core_kernel.Or_error.t

val has_locked_tokens : 
  global_slot:Mina_numbers.Global_slot.t ->
  account_id:Mina_base.Account_id.t ->
  Hashless_ledger.t ->
  bool Core_kernel.Or_error.t

module For_tests : sig ... end