Module Contract.Usage

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

Summary of exported operations:

checkContractUsage :: AProg TypeExpr -> [((String,String),String)]    Checks the intended usage of contracts.

Exported operations:

checkContractUsage :: AProg TypeExpr -> [((String,String),String)]    Checks the intended usage of contracts.