proofs: make the repo's own modules pass the strict flag set - #355

proofs: make the repo's own modules pass the strict flag set#355

hyperpolymath merged 3 commits into

mainhyperpolymath/echo-types:mainfrom

proofs/strict-flag-fixeshyperpolymath/echo-types:proofs/strict-flag-fixesCopy head branch name to clipboard