HERMIT.Dictionary.FixPoint

Operations on the Fixed Point Operator (fix)

externals

Rewrites and BiRewrites on Fixed Points

fixIntroR

fixComputationRuleBR

fixRollingRuleBR

fixFusionRuleBR

Utilities

mkFixT

isFixExprT