proof(SafePath): annotate 23 bodyless decls as OWED (Refs standards#158)#57

hyperpolymath merged 3 commits into

mainhyperpolymath/proven:mainfrom

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