Back to all declarations Increment func() int counter.gno:7 Link Source counter.gno:7-10 See in code Increment : func() int counter.gno:7 Source counter.gno:7-10 See in code