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