Redirecting to ../../rustev_runtime/type.SpendTicket.html...