Use sentinel value instead of Option.none - #145

Use sentinel value instead of Option.none#145

pandaman64 merged 2 commits into

mainpandaman64/lean-regex:mainfrom

replace-none-with-sentinelpandaman64/lean-regex:replace-none-with-sentinelCopy head branch name to clipboard