Module Analysis.HigherOrder

Analysis of higher-order properties of types and operations.

Summary of exported operations:

showOrder :: AOutFormat -> Order -> String  Deterministic 
hiOrdType :: Analysis Order  Deterministic 
hiOrdCons :: Analysis Order  Deterministic 
hiOrdFunc :: Analysis Order  Non-deterministic 

Exported datatypes:


Order

Constructors:

  • HO :: Order
  • FO :: Order

Exported operations:

showOrder :: AOutFormat -> Order -> String  Deterministic 

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