modified top-level constant

Modified const modified

@modified annotation. Ctrl+hover over the function to see the annotations! Usage:

void incrementAge(@modified Person person) {
  person.age += 1;
}

Implementation

const Modified modified = Modified();