Back to all declarations checkInvariant func() duel.gno:660 Link Source duel.gno:660-700 See in code checkInvariant : func() duel.gno:660 Source duel.gno:660-700 See in code