proof(SafeRegex): annotate 26 bodyless decls as OWED (Refs standards#158)#63

hyperpolymath merged 3 commits into

mainhyperpolymath/proven:mainfrom

proof/owed-SafeRegex-158hyperpolymath/proven:proof/owed-SafeRegex-158Copy head branch name to clipboard