proof(SafeJson): DISCHARGE 6 parser literal OWEDs via fast-path clauses (stacked on #139)#140

hyperpolymath merged 1 commit into

proof/safejson-deceq-object-opshyperpolymath/proven:proof/safejson-deceq-object-opsfrom

proof/safejson-parser-literal-fastpath-on-deceqhyperpolymath/proven:proof/safejson-parser-literal-fastpath-on-deceqCopy head branch name to clipboard