proofs: declare the strict flag set in every module that can take it - #357

proofs: declare the strict flag set in every module that can take it#357

hyperpolymath merged 1 commit into

mainhyperpolymath/echo-types:mainfrom

proofs/strict-pragmashyperpolymath/echo-types:proofs/strict-pragmasCopy head branch name to clipboard