HERMIT.Dictionary.Local.Case
externals
caseFloatAppR
caseFloatArgR
caseFloatArgLemmaR
caseFloatCaseR
caseFloatCastR
caseFloatLetR
caseFloatR
caseFloatInR
caseFloatInAppR
caseFloatInArgsR
caseReduceR
caseReduceDataconR
caseReduceLiteralR
caseReduceUnfoldR
caseSplitR
caseSplitInlineR
caseInlineScrutineeR
caseInlineAlternativeR
caseMergeAltsR
caseMergeAltsWithBinderR
caseElimR
caseElimInlineScrutineeR
caseElimMergeAltsR
caseIntroSeqR
caseElimSeqR