This module contains some operations to check the correct usage of contracts (i.e., the occurrences and types of specification and pre/postconditions) in a type-annotated FlatCurry program.
Author: Michael Hanus
Version: April 2019
checkContractUsage
:: AProg TypeExpr -> [((String,String),String)]
Checks the intended usage of contracts. |
Checks the intended usage of contracts. |