In this part:
"gaming credits", for a gaming machine ticket, means the funds available on the ticket for gaming machine play or redemption by the licensee.
"gaming machine ticket" means a ticket that—
(a) is for use in a gaming machine instead of, or as well as, money; and
(b) records gaming credits.
"redeems"—a licensee redeems gaming machine credits on a gaming machine ticket if the licensee gives the holder an equivalent amount of money in exchange for the credits.