HERMIT.Dictionary.FixPoint

Operations on the Fixed Point Operator (fix)

externals

Rewrites and BiRewrites on Fixed Points

fixIntroR

fixIntroNonRecR

fixIntroRecR

fixComputationRuleBR

fixRollingRuleBR

fixFusionRuleBR

Utilities

isFixExprT