[dcl.contract.func] Index 'pre'/'post' grammar occurrences.#9213

jensmaurer merged 1 commit into

cplusplus:maincplusplus/draft:mainfrom

Eelis:prepostEelis/draft:prepostCopy head branch name to clipboard