Back to all declarations checkInvariant func() raffle.gno:2194 Link Source raffle.gno:2194-2239 See in code checkInvariant : func() raffle.gno:2194 Source raffle.gno:2194-2239 See in code