Extend code-position handling with gap/range semantics#945

strub merged 1 commit intomainEasyCrypt/easycrypt:mainfrom

refactor_codeposEasyCrypt/easycrypt:refactor_codeposCopy head branch name to clipboard