Analysis of higher-order properties of types and operations.
showOrder
:: AOutFormat -> Order -> String
|
hiOrdType
:: Analysis Order
|
hiOrdCons
:: Analysis Order
|
hiOrdFunc
:: Analysis Order
|
Constructors:
HO
:: Order
FO
:: Order
|