assert-failure (hackage): This library contains syntactic sugar that makes it easier to write simple contracts with assert and error and report the values that violate contracts.
Keywords: bsd3|contract|control|library