Module Analysis.HigherOrder

Analysis of higher-order properties of types and operations.

Summary of exported operations:

showOrder :: AOutFormat -> Order -> String   
hiOrdType :: Analysis Order   
hiOrdCons :: Analysis Order   
hiOrdFunc :: Analysis Order   

Exported datatypes:


Order

Constructors:

  • HO :: Order
  • FO :: Order

Exported operations:

showOrder :: AOutFormat -> Order -> String   

Further infos:
  • solution complete, i.e., able to compute all solutions