Module Transaction_snark.Transaction_validator

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