parameter
Optional 1-based index of the value parameter of the function, for effects which assert something about the function parameters. Index 0 means the extension receiver parameter.
Optional 1-based index of the value parameter of the function, for effects which assert something about the function parameters. Index 0 means the extension receiver parameter.