File: metaIntPrelude.expected

package info (click to toggle)
maude 3.5.1-1
links: PTS, VCS
area: main
in suites: forky, sid
size: 18,480 kB
sloc: cpp: 133,192; makefile: 2,180; yacc: 1,984; sh: 1,373; lex: 886
file content (1183 lines) | stat: -rw-r--r-- 94,317 bytes
parent folder | download | duplicates (2)
==========================================
erewrite in RUN : <> < me : User | pending(prelude) > createInterpreter(
    interpreterManager, me, none) .
rewrites: 152
result Configuration: <> < me : User | pending(nil) > reducedTerm(me,
    interpreter(0), 1, 's_^5['0.Zero], 'NzNat)
==========================================
erewrite in RUN2 : <> < me : User | pending(prelude) > createInterpreter(
    interpreterManager, me, none) .
rewrites: 155
result Configuration: <> < me : User | pending(nil) > reducedTerm(me,
    interpreter(0), 3, '`{_`,_`}['_`[_`][''s_^5.Sort, ''0.Zero.Constant],
    ''NzNat.Sort], 'ResultPair)
==========================================
erewrite in RUN3 : <> < me : User | pending(prelude) > createInterpreter(
    interpreterManager, me, none) .
rewrites: 153
result Configuration: <> < me : User | pending(nil) > reducedTerm(me,
    interpreter(0), 1, 'fmod_is_sorts_.____endfm[''META-LEVEL.Sort, '__[
    'protecting_.[''META-VIEW.Sort], 'protecting_.[''BOUND.Sort]], '_;_[
    ''MatchOrUnificationPair.Sort, ''MatchPair.Sort, ''MatchPair?.Sort,
    ''MatchingProblem.Sort, ''NarrowingApplyResult.Sort,
    ''NarrowingApplyResult?.Sort, ''NarrowingSearchPathResult.Sort,
    ''NarrowingSearchPathResult?.Sort, ''NarrowingSearchResult.Sort,
    ''NarrowingSearchResult?.Sort, ''NarrowingStep.Sort, ''NarrowingTrace.Sort,
    ''NeVariableSet.Sort, ''Parent.Sort, ''PatternSubjectPair.Sort,
    ''PrintOption.Sort, ''PrintOptionSet.Sort, ''Result4Tuple.Sort,
    ''Result4Tuple?.Sort, ''ResultPair.Sort, ''ResultPair?.Sort,
    ''ResultTriple.Sort, ''ResultTriple?.Sort, ''SmtResult.Sort,
    ''SmtResult?.Sort, ''SrewriteOption.Sort, ''Strategy?.Sort,
    ''Substitution?.Sort, ''Trace.Sort, ''Trace?.Sort, ''TraceStep.Sort,
    ''Type?.Sort, ''UnificandPair.Sort, ''UnificationPair.Sort,
    ''UnificationPair?.Sort, ''UnificationProblem.Sort,
    ''UnificationTriple.Sort, ''UnificationTriple?.Sort, ''VariableSet.Sort,
    ''Variant.Sort, ''Variant?.Sort, ''VariantOption.Sort,
    ''VariantOptionSet.Sort], '__['subsort_<_.[''EmptyQidSet.Sort,
    ''VariableSet.Sort], 'subsort_<_.[''MatchPair.Sort,
    ''MatchOrUnificationPair.Sort], 'subsort_<_.[''MatchPair.Sort,
    ''MatchPair?.Sort], 'subsort_<_.[''NarrowingApplyResult.Sort,
    ''NarrowingApplyResult?.Sort], 'subsort_<_.[
    ''NarrowingSearchPathResult.Sort, ''NarrowingSearchPathResult?.Sort],
    'subsort_<_.[''NarrowingSearchResult.Sort, ''NarrowingSearchResult?.Sort],
    'subsort_<_.[''NarrowingStep.Sort, ''NarrowingTrace.Sort], 'subsort_<_.[
    ''Nat.Sort, ''Parent.Sort], 'subsort_<_.[''NeVariableSet.Sort,
    ''NeQidSet.Sort], 'subsort_<_.[''NeVariableSet.Sort, ''VariableSet.Sort],
    'subsort_<_.[''PatternSubjectPair.Sort, ''MatchingProblem.Sort],
    'subsort_<_.[''PrintOption.Sort, ''PrintOptionSet.Sort], 'subsort_<_.[
    ''Result4Tuple.Sort, ''Result4Tuple?.Sort], 'subsort_<_.[''ResultPair.Sort,
    ''ResultPair?.Sort], 'subsort_<_.[''ResultTriple.Sort,
    ''ResultTriple?.Sort], 'subsort_<_.[''SmtResult.Sort, ''SmtResult?.Sort],
    'subsort_<_.[''Strategy.Sort, ''Strategy?.Sort], 'subsort_<_.[
    ''Substitution.Sort, ''Substitution?.Sort], 'subsort_<_.[''Trace.Sort,
    ''Trace?.Sort], 'subsort_<_.[''TraceStep.Sort, ''Trace.Sort], 'subsort_<_.[
    ''Type.Sort, ''Type?.Sort], 'subsort_<_.[''UnificandPair.Sort,
    ''UnificationProblem.Sort], 'subsort_<_.[''UnificationPair.Sort,
    ''MatchOrUnificationPair.Sort], 'subsort_<_.[''UnificationPair.Sort,
    ''UnificationPair?.Sort], 'subsort_<_.[''UnificationTriple.Sort,
    ''UnificationTriple?.Sort], 'subsort_<_.[''Variable.Sort,
    ''NeVariableSet.Sort], 'subsort_<_.[''VariableSet.Sort, ''QidSet.Sort],
    'subsort_<_.[''Variant.Sort, ''Variant?.Sort], 'subsort_<_.[
    ''VariantOption.Sort, ''VariantOptionSet.Sort]], '__['op_:_->_`[_`].[
    ''$applySubstitution.Sort, '__[''NeTermList.Sort, ''Substitution.Sort],
    ''Term.Sort, 'none.AttrSet], 'op_:_->_`[_`].[''_/\_.Sort, '__[
    ''MatchingProblem.Sort, ''MatchingProblem.Sort], ''MatchingProblem.Sort,
    '__['assoc.Attr, 'comm.Attr, 'ctor.Attr, 'prec['s_^73['0.Zero]]]],
    'op_:_->_`[_`].[''_/\_.Sort, '__[''UnificationProblem.Sort,
    ''UnificationProblem.Sort], ''UnificationProblem.Sort, '__['assoc.Attr,
    'comm.Attr, 'ctor.Attr, 'prec['s_^73['0.Zero]]]], 'op_:_->_`[_`].[
    ''_;_.Sort, '__[''NeVariableSet.Sort, ''VariableSet.Sort],
    ''NeVariableSet.Sort, '__['assoc.Attr, 'comm.Attr, 'ctor.Attr, 'id[
    ''none.EmptyQidSet.Constant], 'prec['s_^43['0.Zero]]]], 'op_:_->_`[_`].[
    ''_;_.Sort, '__[''VariableSet.Sort, ''VariableSet.Sort],
    ''VariableSet.Sort, '__['assoc.Attr, 'comm.Attr, 'ctor.Attr, 'id[
    ''none.EmptyQidSet.Constant], 'prec['s_^43['0.Zero]]]], 'op_:_->_`[_`].[
    ''_<=?_.Sort, '__[''Term.Sort, ''Term.Sort], ''PatternSubjectPair.Sort,
    '__['ctor.Attr, 'prec['s_^71['0.Zero]]]], 'op_:_->_`[_`].[''_=?_.Sort, '__[
    ''Term.Sort, ''Term.Sort], ''UnificandPair.Sort, '__['ctor.Attr, 'prec[
    's_^71['0.Zero]]]], 'op_:_->_`[_`].[''__.Sort, '__[''NarrowingTrace.Sort,
    ''NarrowingTrace.Sort], ''NarrowingTrace.Sort, '__['assoc.Attr, 'ctor.Attr,
    'id[''nil.NarrowingTrace.Constant]]], 'op_:_->_`[_`].[''__.Sort, '__[
    ''PrintOptionSet.Sort, ''PrintOptionSet.Sort], ''PrintOptionSet.Sort, '__[
    'assoc.Attr, 'comm.Attr, 'ctor.Attr, 'id[''none.PrintOptionSet.Constant]]],
    'op_:_->_`[_`].[''__.Sort, '__[''Trace.Sort, ''Trace.Sort], ''Trace.Sort,
    '__['assoc.Attr, 'ctor.Attr, 'format['__[''d.Sort, ''n.Sort, ''d.Sort]],
    'id[''nil.Trace.Constant]]], 'op_:_->_`[_`].[''__.Sort, '__[
    ''VariantOptionSet.Sort, ''VariantOptionSet.Sort], ''VariantOptionSet.Sort,
    '__['assoc.Attr, 'comm.Attr, 'ctor.Attr, 'id[
    ''none.VariantOptionSet.Constant]]], 'op_:_->_`[_`].[
    ''`{_`,_`,_`,_`,_`,_`,_`}.Qid, '__[''Context.Sort, ''Qid.Sort,
    ''Substitution.Sort, ''Qid.Sort, ''Term.Sort, ''Type.Sort,
    ''Substitution.Sort], ''NarrowingStep.Sort, '__['ctor.Attr, 'format['__[
    ''ni.Sort, ''n++i.Sort, ''d.Sort, ''ni.Sort, ''d.Sort, ''s.Sort, ''d.Sort,
    ''ni.Sort, ''d.Sort, ''ni.Sort, ''d.Sort, ''s.Sort, ''d.Sort, ''s.Sort,
    ''n--i.Sort, ''d.Sort]]]], 'op_:_->_`[_`].[''`{_`,_`,_`,_`,_`,_`,_`}.Qid,
    '__[''Term.Sort, ''Type.Sort, ''Context.Sort, ''Qid.Sort,
    ''Substitution.Sort, ''Substitution.Sort, ''Qid.Sort],
    ''NarrowingApplyResult.Sort, '__['ctor.Attr, 'format['__[''d.Sort,
    ''n++i.Sort, ''d.Sort, ''s.Sort, ''d.Sort, ''ni.Sort, ''d.Sort, ''ni.Sort,
    ''d.Sort, ''s.Sort, ''d.Sort, ''s.Sort, ''d.Sort, ''ni.Sort, ''n--i.Sort,
    ''d.Sort]]]], 'op_:_->_`[_`].[''`{_`,_`,_`,_`,_`,_`}.Qid, '__[''Term.Sort,
    ''Type.Sort, ''Substitution.Sort, ''NarrowingTrace.Sort,
    ''Substitution.Sort, ''Qid.Sort], ''NarrowingSearchPathResult.Sort, '__[
    'ctor.Attr, 'format['__[''d.Sort, ''n++i.Sort, ''d.Sort, ''s.Sort,
    ''d.Sort, ''s.Sort, ''d.Sort, ''s.Sort, ''d.Sort, ''s.Sort, ''d.Sort,
    ''ni.Sort, ''n--i.Sort, ''d.Sort]]]], 'op_:_->_`[_`].[
    ''`{_`,_`,_`,_`,_`,_`}.Qid, '__[''Term.Sort, ''Type.Sort,
    ''Substitution.Sort, ''Qid.Sort, ''Substitution.Sort, ''Qid.Sort],
    ''NarrowingSearchResult.Sort, '__['ctor.Attr, 'format['__[''d.Sort,
    ''n++i.Sort, ''d.Sort, ''s.Sort, ''d.Sort, ''s.Sort, ''d.Sort, ''ni.Sort,
    ''d.Sort, ''s.Sort, ''d.Sort, ''ni.Sort, ''n--i.Sort, ''d.Sort]]]],
    'op_:_->_`[_`].[''`{_`,_`,_`,_`,_`}.Qid, '__[''Term.Sort,
    ''Substitution.Sort, ''Nat.Sort, ''Parent.Sort, ''Bool.Sort],
    ''Variant.Sort, 'ctor.Attr], 'op_:_->_`[_`].[''`{_`,_`,_`,_`,_`}.Qid, '__[
    ''Term.Sort, ''Substitution.Sort, ''Qid.Sort, ''Parent.Sort, ''Bool.Sort],
    ''Variant.Sort, 'ctor.Attr], 'op_:_->_`[_`].[''`{_`,_`,_`,_`}.Qid, '__[
    ''Term.Sort, ''Substitution.Sort, ''Term.Sort, ''Nat.Sort],
    ''SmtResult.Sort, 'ctor.Attr], 'op_:_->_`[_`].[''`{_`,_`,_`,_`}.Qid, '__[
    ''Term.Sort, ''Type.Sort, ''Substitution.Sort, ''Context.Sort],
    ''Result4Tuple.Sort, 'ctor.Attr], 'op_:_->_`[_`].[''`{_`,_`,_`}.Qid, '__[
    ''Substitution.Sort, ''Substitution.Sort, ''Nat.Sort],
    ''UnificationTriple.Sort, 'ctor.Attr], 'op_:_->_`[_`].[''`{_`,_`,_`}.Qid,
    '__[''Substitution.Sort, ''Substitution.Sort, ''Qid.Sort],
    ''UnificationTriple.Sort, 'ctor.Attr], 'op_:_->_`[_`].[''`{_`,_`,_`}.Qid,
    '__[''Term.Sort, ''Type.Sort, ''Rule.Sort], ''TraceStep.Sort, 'ctor.Attr],
    'op_:_->_`[_`].[''`{_`,_`,_`}.Qid, '__[''Term.Sort, ''Type.Sort,
    ''Substitution.Sort], ''ResultTriple.Sort, 'ctor.Attr], 'op_:_->_`[_`].[
    ''`{_`,_`}.Qid, '__[''Substitution.Sort, ''Context.Sort], ''MatchPair.Sort,
    'ctor.Attr], 'op_:_->_`[_`].[''`{_`,_`}.Qid, '__[''Substitution.Sort,
    ''Nat.Sort], ''UnificationPair.Sort, 'ctor.Attr], 'op_:_->_`[_`].[
    ''`{_`,_`}.Qid, '__[''Substitution.Sort, ''Qid.Sort],
    ''UnificationPair.Sort, 'ctor.Attr], 'op_:_->_`[_`].[''`{_`,_`}.Qid, '__[
    ''Term.Sort, ''Type.Sort], ''ResultPair.Sort, 'ctor.Attr], 'op_:_->_`[_`].[
    ''ambiguity.Sort, '__[''ResultPair.Sort, ''ResultPair.Sort],
    ''ResultPair?.Sort, 'ctor.Attr], 'op_:_->_`[_`].[''ambiguity.Sort, '__[
    ''Strategy.Sort, ''Strategy.Sort], ''Strategy?.Sort, 'ctor.Attr],
    'op_:_->_`[_`].[''anyType.Sort, 'nil.TypeList, ''Type?.Sort, 'ctor.Attr],
    'op_:_->_`[_`].[''applySubstitution.Sort, '__[''Module.Sort, ''Term.Sort,
    ''Substitution.Sort], ''Term.Sort, 'none.AttrSet], 'op_:_->_`[_`].[
    ''breadthFirst.Sort, 'nil.TypeList, ''SrewriteOption.Sort, 'ctor.Attr],
    'op_:_->_`[_`].[''completeName.Sort, '__[''`[Module`].Kind, ''`[QidList`,TypeListSet`,QidSet`,Type?`,ModuleExpression`,ParameterList`,GTermList`,Header`].Kind], ''`[QidList`,TypeListSet`,QidSet`,Type?`,ModuleExpression`,ParameterList`,GTermList`,Header`].Kind, 'special['__['id-hook[''MetaLevelOpSymbol.Sort,
    ''metaCompleteName.Sort], 'op-hook[''shareWith.Sort, ''metaReduce.Sort,
    '__[''Module.Sort, ''QidList.Sort], ''ResultPair?.Sort]]]],
    'op_:_->_`[_`].[''delay.Sort, 'nil.TypeList, ''VariantOption.Sort,
    'ctor.Attr], 'op_:_->_`[_`].[''depthFirst.Sort, 'nil.TypeList,
    ''SrewriteOption.Sort, 'ctor.Attr], 'op_:_->_`[_`].[''downTerm.Sort, '__[
    ''Term.Sort, ''Universal.Sort], ''Universal.Sort, '__['poly['__['s_^2[
    '0.Zero], '0.Zero]], 'special['__['id-hook[''MetaLevelOpSymbol.Sort,
    ''metaDownTerm.Sort], 'op-hook[''shareWith.Sort, ''metaReduce.Sort, '__[
    ''Module.Sort, ''QidList.Sort], ''ResultPair?.Sort]]]]], 'op_:_->_`[_`].[
    ''failure.Sort, 'nil.TypeList, ''NarrowingApplyResult?.Sort, 'ctor.Attr],
    'op_:_->_`[_`].[''failure.Sort, 'nil.TypeList,
    ''NarrowingSearchPathResult?.Sort, 'ctor.Attr], 'op_:_->_`[_`].[
    ''failure.Sort, 'nil.TypeList, ''NarrowingSearchResult?.Sort, 'ctor.Attr],
    'op_:_->_`[_`].[''failure.Sort, 'nil.TypeList, ''Result4Tuple?.Sort,
    'ctor.Attr], 'op_:_->_`[_`].[''failure.Sort, 'nil.TypeList,
    ''ResultPair?.Sort, 'ctor.Attr], 'op_:_->_`[_`].[''failure.Sort,
    'nil.TypeList, ''ResultTriple?.Sort, 'ctor.Attr], 'op_:_->_`[_`].[
    ''failure.Sort, 'nil.TypeList, ''SmtResult?.Sort, 'ctor.Attr],
    'op_:_->_`[_`].[''failure.Sort, 'nil.TypeList, ''Trace?.Sort, 'ctor.Attr],
    'op_:_->_`[_`].[''failureIncomplete.Sort, 'nil.TypeList,
    ''NarrowingApplyResult?.Sort, 'ctor.Attr], 'op_:_->_`[_`].[
    ''failureIncomplete.Sort, 'nil.TypeList, ''NarrowingSearchPathResult?.Sort,
    'ctor.Attr], 'op_:_->_`[_`].[''failureIncomplete.Sort, 'nil.TypeList,
    ''NarrowingSearchResult?.Sort, 'ctor.Attr], 'op_:_->_`[_`].[
    ''failureIncomplete.Sort, 'nil.TypeList, ''ResultTriple?.Sort, 'ctor.Attr],
    'op_:_->_`[_`].[''filter.Sort, 'nil.TypeList, ''VariantOption.Sort,
    'ctor.Attr], 'op_:_->_`[_`].[''flat.Sort, 'nil.TypeList,
    ''PrintOption.Sort, 'ctor.Attr], 'op_:_->_`[_`].[''format.Sort,
    'nil.TypeList, ''PrintOption.Sort, 'ctor.Attr], 'op_:_->_`[_`].[
    ''getAccumulatedSubstitution.Sort, ''NarrowingSearchResult.Sort,
    ''Substitution.Sort, 'none.AttrSet], 'op_:_->_`[_`].[
    ''getAccumulatedSubstitution.Sort, ''NarrowingStep.Sort,
    ''Substitution.Sort, 'none.AttrSet], 'op_:_->_`[_`].[''getContext.Sort,
    ''MatchPair.Sort, ''Context.Sort, 'none.AttrSet], 'op_:_->_`[_`].[
    ''getContext.Sort, ''NarrowingApplyResult.Sort, ''Context.Sort,
    'none.AttrSet], 'op_:_->_`[_`].[''getContext.Sort, ''NarrowingStep.Sort,
    ''Context.Sort, 'none.AttrSet], 'op_:_->_`[_`].[''getContext.Sort,
    ''Result4Tuple.Sort, ''Context.Sort, 'none.AttrSet], 'op_:_->_`[_`].[
    ''getInitialSubstitution.Sort, ''NarrowingSearchPathResult.Sort,
    ''Substitution.Sort, 'none.AttrSet], 'op_:_->_`[_`].[''getInitialTerm.Sort,
    ''NarrowingSearchPathResult.Sort, ''Term.Sort, 'none.AttrSet],
    'op_:_->_`[_`].[''getInitialType.Sort, ''NarrowingSearchPathResult.Sort,
    ''Type.Sort, 'none.AttrSet], 'op_:_->_`[_`].[''getKind.Sort, '__[
    ''`[Module`].Kind, ''`[QidList`,TypeListSet`,QidSet`,Type?`,ModuleExpression`,ParameterList`,GTermList`,Header`].Kind], ''`[QidList`,TypeListSet`,QidSet`,Type?`,ModuleExpression`,ParameterList`,GTermList`,Header`].Kind, 'special['__[
    'id-hook[''MetaLevelOpSymbol.Sort, ''metaGetKind.Sort], 'op-hook[
    ''shareWith.Sort, ''metaReduce.Sort, '__[''Module.Sort, ''QidList.Sort],
    ''ResultPair?.Sort]]]], 'op_:_->_`[_`].[''getKinds.Sort, ''`[Module`].Kind, ''`[QidList`,TypeListSet`,QidSet`,Type?`,ModuleExpression`,ParameterList`,GTermList`,Header`].Kind, 'special['__['id-hook[''MetaLevelOpSymbol.Sort,
    ''metaGetKinds.Sort], 'op-hook[''shareWith.Sort, ''metaReduce.Sort, '__[
    ''Module.Sort, ''QidList.Sort], ''ResultPair?.Sort]]]], 'op_:_->_`[_`].[
    ''getLabel.Sort, ''NarrowingApplyResult.Sort, ''Qid.Sort, 'none.AttrSet],
    'op_:_->_`[_`].[''getLabel.Sort, ''NarrowingStep.Sort, ''Qid.Sort,
    'none.AttrSet], 'op_:_->_`[_`].[''getLhsSubstitution.Sort,
    ''UnificationTriple.Sort, ''Substitution.Sort, 'none.AttrSet],
    'op_:_->_`[_`].[''getMoreVariantsInLayerFlag.Sort, ''Variant.Sort,
    ''Bool.Sort, 'none.AttrSet], 'op_:_->_`[_`].[''getParent.Sort,
    ''Variant.Sort, ''Parent.Sort, 'none.AttrSet], 'op_:_->_`[_`].[
    ''getRhsSubstitution.Sort, ''UnificationTriple.Sort, ''Substitution.Sort,
    'none.AttrSet], 'op_:_->_`[_`].[''getRule.Sort, ''TraceStep.Sort,
    ''Rule.Sort, 'none.AttrSet], 'op_:_->_`[_`].[''getRuleSubstitution.Sort,
    ''NarrowingApplyResult.Sort, ''Substitution.Sort, 'none.AttrSet],
    'op_:_->_`[_`].[''getStateVariableFamily.Sort,
    ''NarrowingSearchResult.Sort, ''Qid.Sort, 'none.AttrSet], 'op_:_->_`[_`].[
    ''getSubstitution.Sort, ''MatchPair.Sort, ''Substitution.Sort,
    'none.AttrSet], 'op_:_->_`[_`].[''getSubstitution.Sort,
    ''Result4Tuple.Sort, ''Substitution.Sort, 'none.AttrSet], 'op_:_->_`[_`].[
    ''getSubstitution.Sort, ''ResultTriple.Sort, ''Substitution.Sort,
    'none.AttrSet], 'op_:_->_`[_`].[''getSubstitution.Sort,
    ''UnificationPair.Sort, ''Substitution.Sort, 'none.AttrSet],
    'op_:_->_`[_`].[''getSubstitution.Sort, ''Variant.Sort,
    ''Substitution.Sort, 'none.AttrSet], 'op_:_->_`[_`].[''getTerm.Sort,
    ''NarrowingApplyResult.Sort, ''Term.Sort, 'none.AttrSet], 'op_:_->_`[_`].[
    ''getTerm.Sort, ''NarrowingSearchResult.Sort, ''Term.Sort, 'none.AttrSet],
    'op_:_->_`[_`].[''getTerm.Sort, ''NarrowingStep.Sort, ''Term.Sort,
    'none.AttrSet], 'op_:_->_`[_`].[''getTerm.Sort, ''Result4Tuple.Sort,
    ''Term.Sort, 'none.AttrSet], 'op_:_->_`[_`].[''getTerm.Sort,
    ''ResultPair.Sort, ''Term.Sort, 'none.AttrSet], 'op_:_->_`[_`].[
    ''getTerm.Sort, ''ResultTriple.Sort, ''Term.Sort, 'none.AttrSet],
    'op_:_->_`[_`].[''getTerm.Sort, ''TraceStep.Sort, ''Term.Sort,
    'none.AttrSet], 'op_:_->_`[_`].[''getTerm.Sort, ''Variant.Sort,
    ''Term.Sort, 'none.AttrSet], 'op_:_->_`[_`].[''getTermSubstitution.Sort,
    ''NarrowingApplyResult.Sort, ''Substitution.Sort, 'none.AttrSet],
    'op_:_->_`[_`].[''getTrace.Sort, ''NarrowingSearchPathResult.Sort,
    ''NarrowingTrace.Sort, 'none.AttrSet], 'op_:_->_`[_`].[''getType.Sort,
    ''NarrowingApplyResult.Sort, ''Type.Sort, 'none.AttrSet], 'op_:_->_`[_`].[
    ''getType.Sort, ''NarrowingSearchResult.Sort, ''Type.Sort, 'none.AttrSet],
    'op_:_->_`[_`].[''getType.Sort, ''NarrowingStep.Sort, ''Type.Sort,
    'none.AttrSet], 'op_:_->_`[_`].[''getType.Sort, ''Result4Tuple.Sort,
    ''Type.Sort, 'none.AttrSet], 'op_:_->_`[_`].[''getType.Sort,
    ''ResultPair.Sort, ''Type.Sort, 'none.AttrSet], 'op_:_->_`[_`].[
    ''getType.Sort, ''ResultTriple.Sort, ''Type.Sort, 'none.AttrSet],
    'op_:_->_`[_`].[''getType.Sort, ''TraceStep.Sort, ''Type.Sort,
    'none.AttrSet], 'op_:_->_`[_`].[''getUnifier.Sort,
    ''NarrowingSearchPathResult.Sort, ''Substitution.Sort, 'none.AttrSet],
    'op_:_->_`[_`].[''getUnifier.Sort, ''NarrowingSearchResult.Sort,
    ''Substitution.Sort, 'none.AttrSet], 'op_:_->_`[_`].[''getUnifier.Sort,
    ''NarrowingStep.Sort, ''Substitution.Sort, 'none.AttrSet], 'op_:_->_`[_`].[
    ''getUnifierVariableFamily.Sort, ''NarrowingSearchPathResult.Sort,
    ''Qid.Sort, 'none.AttrSet], 'op_:_->_`[_`].[
    ''getUnifierVariableFamily.Sort, ''NarrowingSearchResult.Sort, ''Qid.Sort,
    'none.AttrSet], 'op_:_->_`[_`].[''getUnifierVariableFamily.Sort,
    ''NarrowingStep.Sort, ''Qid.Sort, 'none.AttrSet], 'op_:_->_`[_`].[
    ''getVariableFamily.Sort, ''NarrowingApplyResult.Sort, ''Qid.Sort,
    'none.AttrSet], 'op_:_->_`[_`].[''getVariableFamily.Sort,
    ''UnificationPair.Sort, ''Qid.Sort, 'none.AttrSet], 'op_:_->_`[_`].[
    ''getVariableFamily.Sort, ''UnificationTriple.Sort, ''Qid.Sort,
    'none.AttrSet], 'op_:_->_`[_`].[''getVariableFamily.Sort, ''Variant.Sort,
    ''Qid.Sort, 'none.AttrSet], 'op_:_->_`[_`].[''glbSorts.Sort, '__[
    ''`[Module`].Kind, ''`[QidList`,TypeListSet`,QidSet`,Type?`,ModuleExpression`,ParameterList`,GTermList`,Header`].Kind, ''`[QidList`,TypeListSet`,QidSet`,Type?`,ModuleExpression`,ParameterList`,GTermList`,Header`].Kind], ''`[QidList`,TypeListSet`,QidSet`,Type?`,ModuleExpression`,ParameterList`,GTermList`,Header`].Kind, 'special['__['id-hook[''MetaLevelOpSymbol.Sort, ''metaGlbSorts.Sort],
    'op-hook[''shareWith.Sort, ''metaReduce.Sort, '__[''Module.Sort,
    ''QidList.Sort], ''ResultPair?.Sort]]]], 'op_:_->_`[_`].[''leastSort.Sort,
    '__[''`[Module`].Kind, ''`[QidList`,TypeListSet`,QidSet`,Type?`,ModuleExpression`,ParameterList`,GTermList`,Header`].Kind], ''`[QidList`,TypeListSet`,QidSet`,Type?`,ModuleExpression`,ParameterList`,GTermList`,Header`].Kind, 'special[
    '__['id-hook[''MetaLevelOpSymbol.Sort, ''metaLeastSort.Sort], 'op-hook[
    ''shareWith.Sort, ''metaReduce.Sort, '__[''Module.Sort, ''QidList.Sort],
    ''ResultPair?.Sort]]]], 'op_:_->_`[_`].[''lesserSorts.Sort, '__[
    ''`[Module`].Kind, ''`[QidList`,TypeListSet`,QidSet`,Type?`,ModuleExpression`,ParameterList`,GTermList`,Header`].Kind], ''`[QidList`,TypeListSet`,QidSet`,Type?`,ModuleExpression`,ParameterList`,GTermList`,Header`].Kind, 'special['__[
    'id-hook[''MetaLevelOpSymbol.Sort, ''metaLesserSorts.Sort], 'op-hook[
    ''shareWith.Sort, ''metaReduce.Sort, '__[''Module.Sort, ''QidList.Sort],
    ''ResultPair?.Sort]]]], 'op_:_->_`[_`].[''maximalAritySet.Sort, '__[
    ''`[Module`].Kind, ''`[QidList`,TypeListSet`,QidSet`,Type?`,ModuleExpression`,ParameterList`,GTermList`,Header`].Kind, ''`[QidList`,TypeListSet`,QidSet`,Type?`,ModuleExpression`,ParameterList`,GTermList`,Header`].Kind, ''`[QidList`,TypeListSet`,QidSet`,Type?`,ModuleExpression`,ParameterList`,GTermList`,Header`].Kind], ''`[QidList`,TypeListSet`,QidSet`,Type?`,ModuleExpression`,ParameterList`,GTermList`,Header`].Kind, 'special['__['id-hook[''MetaLevelOpSymbol.Sort,
    ''metaMaximalAritySet.Sort], 'op-hook[''shareWith.Sort, ''metaReduce.Sort,
    '__[''Module.Sort, ''QidList.Sort], ''ResultPair?.Sort]]]],
    'op_:_->_`[_`].[''maximalSorts.Sort, '__[''`[Module`].Kind, ''`[QidList`,TypeListSet`,QidSet`,Type?`,ModuleExpression`,ParameterList`,GTermList`,Header`].Kind], ''`[QidList`,TypeListSet`,QidSet`,Type?`,ModuleExpression`,ParameterList`,GTermList`,Header`].Kind, 'special['__['id-hook[''MetaLevelOpSymbol.Sort,
    ''metaMaximalSorts.Sort], 'op-hook[''shareWith.Sort, ''metaReduce.Sort,
    '__[''Module.Sort, ''QidList.Sort], ''ResultPair?.Sort]]]],
    'op_:_->_`[_`].[''metaApply.Sort, '__[''`[Module`].Kind, ''`[QidList`,TypeListSet`,QidSet`,Type?`,ModuleExpression`,ParameterList`,GTermList`,Header`].Kind, ''`[QidList`,TypeListSet`,QidSet`,Type?`,ModuleExpression`,ParameterList`,GTermList`,Header`].Kind, ''`[Substitution?`].Kind,
    ''`[FindResult`,NatList`,Bound`,Parent`].Kind], ''`[ResultTriple?`].Kind,
    'special['__['id-hook[''MetaLevelOpSymbol.Sort, ''metaApply.Sort],
    'op-hook[''shareWith.Sort, ''metaReduce.Sort, '__[''Module.Sort,
    ''QidList.Sort], ''ResultPair?.Sort]]]], 'op_:_->_`[_`].[''metaCheck.Sort,
    '__[''`[Module`].Kind, ''`[QidList`,TypeListSet`,QidSet`,Type?`,ModuleExpression`,ParameterList`,GTermList`,Header`].Kind], ''`[Bool`].Kind, 'special['__[
    'id-hook[''MetaLevelOpSymbol.Sort, ''metaCheck.Sort], 'op-hook[
    ''shareWith.Sort, ''metaReduce.Sort, '__[''Module.Sort, ''QidList.Sort],
    ''ResultPair?.Sort]]]], 'op_:_->_`[_`].[''metaDisjointUnify.Sort, '__[
    ''`[Module`].Kind, ''`[UnificationProblem`].Kind,
    ''`[FindResult`,NatList`,Bound`,Parent`].Kind,
    ''`[FindResult`,NatList`,Bound`,Parent`].Kind],
    ''`[UnificationTriple?`].Kind, 'special['__['id-hook[
    ''MetaLevelOpSymbol.Sort, ''legacyMetaDisjointUnify.Sort], 'op-hook[
    ''shareWith.Sort, ''metaReduce.Sort, '__[''Module.Sort, ''QidList.Sort],
    ''ResultPair?.Sort]]]], 'op_:_->_`[_`].[''metaDisjointUnify.Sort, '__[
    ''`[Module`].Kind, ''`[UnificationProblem`].Kind, ''`[QidList`,TypeListSet`,QidSet`,Type?`,ModuleExpression`,ParameterList`,GTermList`,Header`].Kind,
    ''`[FindResult`,NatList`,Bound`,Parent`].Kind],
    ''`[UnificationTriple?`].Kind, 'special['__['id-hook[
    ''MetaLevelOpSymbol.Sort, ''metaDisjointUnify.Sort], 'op-hook[
    ''shareWith.Sort, ''metaReduce.Sort, '__[''Module.Sort, ''QidList.Sort],
    ''ResultPair?.Sort]]]], 'op_:_->_`[_`].[''metaFrewrite.Sort, '__[
    ''`[Module`].Kind, ''`[QidList`,TypeListSet`,QidSet`,Type?`,ModuleExpression`,ParameterList`,GTermList`,Header`].Kind,
    ''`[FindResult`,NatList`,Bound`,Parent`].Kind,
    ''`[FindResult`,NatList`,Bound`,Parent`].Kind], ''`[ResultPair?`].Kind,
    'special['__['id-hook[''MetaLevelOpSymbol.Sort, ''metaFrewrite.Sort],
    'op-hook[''shareWith.Sort, ''metaReduce.Sort, '__[''Module.Sort,
    ''QidList.Sort], ''ResultPair?.Sort]]]], 'op_:_->_`[_`].[
    ''metaGetIrredundantVariant.Sort, '__[''`[Module`].Kind, ''`[QidList`,TypeListSet`,QidSet`,Type?`,ModuleExpression`,ParameterList`,GTermList`,Header`].Kind, ''`[QidList`,TypeListSet`,QidSet`,Type?`,ModuleExpression`,ParameterList`,GTermList`,Header`].Kind, ''`[FindResult`,NatList`,Bound`,Parent`].Kind,
    ''`[FindResult`,NatList`,Bound`,Parent`].Kind], ''`[Variant?`].Kind,
    'special['__['id-hook[''MetaLevelOpSymbol.Sort,
    ''legacyMetaGetIrredundantVariant.Sort], 'op-hook[''shareWith.Sort,
    ''metaReduce.Sort, '__[''Module.Sort, ''QidList.Sort],
    ''ResultPair?.Sort]]]], 'op_:_->_`[_`].[''metaGetIrredundantVariant.Sort,
    '__[''`[Module`].Kind, ''`[QidList`,TypeListSet`,QidSet`,Type?`,ModuleExpression`,ParameterList`,GTermList`,Header`].Kind, ''`[QidList`,TypeListSet`,QidSet`,Type?`,ModuleExpression`,ParameterList`,GTermList`,Header`].Kind, ''`[QidList`,TypeListSet`,QidSet`,Type?`,ModuleExpression`,ParameterList`,GTermList`,Header`].Kind, ''`[FindResult`,NatList`,Bound`,Parent`].Kind], ''`[Variant?`].Kind,
    'special['__['id-hook[''MetaLevelOpSymbol.Sort,
    ''metaGetIrredundantVariant.Sort], 'op-hook[''shareWith.Sort,
    ''metaReduce.Sort, '__[''Module.Sort, ''QidList.Sort],
    ''ResultPair?.Sort]]]], 'op_:_->_`[_`].[''metaGetVariant.Sort, '__[
    ''`[Module`].Kind, ''`[QidList`,TypeListSet`,QidSet`,Type?`,ModuleExpression`,ParameterList`,GTermList`,Header`].Kind, ''`[QidList`,TypeListSet`,QidSet`,Type?`,ModuleExpression`,ParameterList`,GTermList`,Header`].Kind,
    ''`[FindResult`,NatList`,Bound`,Parent`].Kind,
    ''`[FindResult`,NatList`,Bound`,Parent`].Kind], ''`[Variant?`].Kind,
    'special['__['id-hook[''MetaLevelOpSymbol.Sort,
    ''legacyMetaGetVariant.Sort], 'op-hook[''shareWith.Sort, ''metaReduce.Sort,
    '__[''Module.Sort, ''QidList.Sort], ''ResultPair?.Sort]]]],
    'op_:_->_`[_`].[''metaGetVariant.Sort, '__[''`[Module`].Kind, ''`[QidList`,TypeListSet`,QidSet`,Type?`,ModuleExpression`,ParameterList`,GTermList`,Header`].Kind, ''`[QidList`,TypeListSet`,QidSet`,Type?`,ModuleExpression`,ParameterList`,GTermList`,Header`].Kind, ''`[QidList`,TypeListSet`,QidSet`,Type?`,ModuleExpression`,ParameterList`,GTermList`,Header`].Kind,
    ''`[FindResult`,NatList`,Bound`,Parent`].Kind], ''`[Variant?`].Kind,
    'special['__['id-hook[''MetaLevelOpSymbol.Sort, ''metaGetVariant.Sort],
    'op-hook[''shareWith.Sort, ''metaReduce.Sort, '__[''Module.Sort,
    ''QidList.Sort], ''ResultPair?.Sort]]]], 'op_:_->_`[_`].[
    ''metaIrredundantDisjointUnify.Sort, '__[''`[Module`].Kind,
    ''`[UnificationProblem`].Kind, ''`[QidList`,TypeListSet`,QidSet`,Type?`,ModuleExpression`,ParameterList`,GTermList`,Header`].Kind,
    ''`[FindResult`,NatList`,Bound`,Parent`].Kind],
    ''`[UnificationTriple?`].Kind, 'special['__['id-hook[
    ''MetaLevelOpSymbol.Sort, ''metaIrredundantDisjointUnify.Sort], 'op-hook[
    ''shareWith.Sort, ''metaReduce.Sort, '__[''Module.Sort, ''QidList.Sort],
    ''ResultPair?.Sort]]]], 'op_:_->_`[_`].[''metaIrredundantUnify.Sort, '__[
    ''`[Module`].Kind, ''`[UnificationProblem`].Kind, ''`[QidList`,TypeListSet`,QidSet`,Type?`,ModuleExpression`,ParameterList`,GTermList`,Header`].Kind,
    ''`[FindResult`,NatList`,Bound`,Parent`].Kind],
    ''`[MatchPair?`,UnificationPair?`,MatchOrUnificationPair`].Kind, 'special[
    '__['id-hook[''MetaLevelOpSymbol.Sort, ''metaIrredundantUnify.Sort],
    'op-hook[''shareWith.Sort, ''metaReduce.Sort, '__[''Module.Sort,
    ''QidList.Sort], ''ResultPair?.Sort]]]], 'op_:_->_`[_`].[''metaMatch.Sort,
    '__[''`[Module`].Kind, ''`[QidList`,TypeListSet`,QidSet`,Type?`,ModuleExpression`,ParameterList`,GTermList`,Header`].Kind, ''`[QidList`,TypeListSet`,QidSet`,Type?`,ModuleExpression`,ParameterList`,GTermList`,Header`].Kind,
    ''`[Condition`].Kind, ''`[FindResult`,NatList`,Bound`,Parent`].Kind],
    ''`[Substitution?`].Kind, 'special['__['id-hook[''MetaLevelOpSymbol.Sort,
    ''metaMatch.Sort], 'op-hook[''shareWith.Sort, ''metaReduce.Sort, '__[
    ''Module.Sort, ''QidList.Sort], ''ResultPair?.Sort]]]], 'op_:_->_`[_`].[
    ''metaNarrow.Sort, '__[''`[Module`].Kind, ''`[QidList`,TypeListSet`,QidSet`,Type?`,ModuleExpression`,ParameterList`,GTermList`,Header`].Kind, ''`[QidList`,TypeListSet`,QidSet`,Type?`,ModuleExpression`,ParameterList`,GTermList`,Header`].Kind, ''`[FindResult`,NatList`,Bound`,Parent`].Kind, ''`[Bool`].Kind,
    ''`[FindResult`,NatList`,Bound`,Parent`].Kind], ''`[ResultPair?`].Kind,
    'special['__['id-hook[''MetaLevelOpSymbol.Sort, ''metaNarrow2.Sort],
    'op-hook[''shareWith.Sort, ''metaReduce.Sort, '__[''Module.Sort,
    ''QidList.Sort], ''ResultPair?.Sort]]]], 'op_:_->_`[_`].[''metaNarrow.Sort,
    '__[''`[Module`].Kind, ''`[QidList`,TypeListSet`,QidSet`,Type?`,ModuleExpression`,ParameterList`,GTermList`,Header`].Kind, ''`[QidList`,TypeListSet`,QidSet`,Type?`,ModuleExpression`,ParameterList`,GTermList`,Header`].Kind, ''`[QidList`,TypeListSet`,QidSet`,Type?`,ModuleExpression`,ParameterList`,GTermList`,Header`].Kind, ''`[FindResult`,NatList`,Bound`,Parent`].Kind,
    ''`[FindResult`,NatList`,Bound`,Parent`].Kind], ''`[ResultTriple?`].Kind,
    'special['__['id-hook[''MetaLevelOpSymbol.Sort, ''metaNarrow.Sort],
    'op-hook[''shareWith.Sort, ''metaReduce.Sort, '__[''Module.Sort,
    ''QidList.Sort], ''ResultPair?.Sort]]]], 'op_:_->_`[_`].[
    ''metaNarrowingApply.Sort, '__[''Module.Sort, ''Term.Sort, ''TermList.Sort,
    ''Qid.Sort, ''Nat.Sort], ''NarrowingApplyResult?.Sort, 'none.AttrSet],
    'op_:_->_`[_`].[''metaNarrowingApply.Sort, '__[''Module.Sort, ''Term.Sort,
    ''TermList.Sort, ''Qid.Sort, ''VariantOptionSet.Sort, ''Nat.Sort],
    ''NarrowingApplyResult?.Sort, 'special['__['id-hook[
    ''MetaLevelOpSymbol.Sort, ''metaNarrowingApply.Sort], 'op-hook[
    ''shareWith.Sort, ''metaReduce.Sort, '__[''Module.Sort, ''QidList.Sort],
    ''ResultPair?.Sort]]]], 'op_:_->_`[_`].[''metaNarrowingSearch.Sort, '__[
    ''Module.Sort, ''Term.Sort, ''Term.Sort, ''Qid.Sort, ''Bound.Sort,
    ''Qid.Sort, ''Nat.Sort], ''NarrowingSearchResult?.Sort, 'none.AttrSet],
    'op_:_->_`[_`].[''metaNarrowingSearch.Sort, '__[''Module.Sort, ''Term.Sort,
    ''Term.Sort, ''Qid.Sort, ''Bound.Sort, ''Qid.Sort, ''VariantOptionSet.Sort,
    ''Nat.Sort], ''NarrowingSearchResult?.Sort, 'special['__['id-hook[
    ''MetaLevelOpSymbol.Sort, ''metaNarrowingSearch.Sort], 'op-hook[
    ''shareWith.Sort, ''metaReduce.Sort, '__[''Module.Sort, ''QidList.Sort],
    ''ResultPair?.Sort]]]], 'op_:_->_`[_`].[''metaNarrowingSearchPath.Sort,
    '__[''Module.Sort, ''Term.Sort, ''Term.Sort, ''Qid.Sort, ''Bound.Sort,
    ''Qid.Sort, ''Nat.Sort], ''NarrowingSearchPathResult?.Sort, 'none.AttrSet],
    'op_:_->_`[_`].[''metaNarrowingSearchPath.Sort, '__[''Module.Sort,
    ''Term.Sort, ''Term.Sort, ''Qid.Sort, ''Bound.Sort, ''Qid.Sort,
    ''VariantOptionSet.Sort, ''Nat.Sort], ''NarrowingSearchPathResult?.Sort,
    'special['__['id-hook[''MetaLevelOpSymbol.Sort,
    ''metaNarrowingSearchPath.Sort], 'op-hook[''shareWith.Sort,
    ''metaReduce.Sort, '__[''Module.Sort, ''QidList.Sort],
    ''ResultPair?.Sort]]]], 'op_:_->_`[_`].[''metaNormalize.Sort, '__[
    ''`[Module`].Kind, ''`[QidList`,TypeListSet`,QidSet`,Type?`,ModuleExpression`,ParameterList`,GTermList`,Header`].Kind], ''`[ResultPair?`].Kind, 'special[
    '__['id-hook[''MetaLevelOpSymbol.Sort, ''metaNormalize.Sort], 'op-hook[
    ''shareWith.Sort, ''metaReduce.Sort, '__[''Module.Sort, ''QidList.Sort],
    ''ResultPair?.Sort]]]], 'op_:_->_`[_`].[''metaParse.Sort, '__[
    ''`[Module`].Kind, ''`[QidList`,TypeListSet`,QidSet`,Type?`,ModuleExpression`,ParameterList`,GTermList`,Header`].Kind, ''`[QidList`,TypeListSet`,QidSet`,Type?`,ModuleExpression`,ParameterList`,GTermList`,Header`].Kind],
    ''`[ResultPair?`].Kind, 'none.AttrSet], 'op_:_->_`[_`].[''metaParse.Sort,
    '__[''`[Module`].Kind, ''`[QidList`,TypeListSet`,QidSet`,Type?`,ModuleExpression`,ParameterList`,GTermList`,Header`].Kind, ''`[QidList`,TypeListSet`,QidSet`,Type?`,ModuleExpression`,ParameterList`,GTermList`,Header`].Kind, ''`[QidList`,TypeListSet`,QidSet`,Type?`,ModuleExpression`,ParameterList`,GTermList`,Header`].Kind], ''`[ResultPair?`].Kind, 'special['__['id-hook[''MetaLevelOpSymbol.Sort,
    ''metaParse.Sort], 'op-hook[''shareWith.Sort, ''metaReduce.Sort, '__[
    ''Module.Sort, ''QidList.Sort], ''ResultPair?.Sort]]]], 'op_:_->_`[_`].[
    ''metaParseStrategy.Sort, '__[''`[Module`].Kind, ''`[QidList`,TypeListSet`,QidSet`,Type?`,ModuleExpression`,ParameterList`,GTermList`,Header`].Kind, ''`[QidList`,TypeListSet`,QidSet`,Type?`,ModuleExpression`,ParameterList`,GTermList`,Header`].Kind], ''`[StrategyList`,Strategy?`].Kind, 'special['__['id-hook[
    ''MetaLevelOpSymbol.Sort, ''metaParseStrategy.Sort], 'op-hook[
    ''shareWith.Sort, ''metaReduce.Sort, '__[''Module.Sort, ''QidList.Sort],
    ''ResultPair?.Sort]]]], 'op_:_->_`[_`].[''metaPrettyPrint.Sort, '__[
    ''`[Module`].Kind, ''`[QidList`,TypeListSet`,QidSet`,Type?`,ModuleExpression`,ParameterList`,GTermList`,Header`].Kind], ''`[QidList`,TypeListSet`,QidSet`,Type?`,ModuleExpression`,ParameterList`,GTermList`,Header`].Kind, 'none.AttrSet],
    'op_:_->_`[_`].[''metaPrettyPrint.Sort, '__[''`[Module`].Kind, ''`[QidList`,TypeListSet`,QidSet`,Type?`,ModuleExpression`,ParameterList`,GTermList`,Header`].Kind, ''`[PrintOptionSet`].Kind], ''`[QidList`,TypeListSet`,QidSet`,Type?`,ModuleExpression`,ParameterList`,GTermList`,Header`].Kind, 'none.AttrSet],
    'op_:_->_`[_`].[''metaPrettyPrint.Sort, '__[''`[Module`].Kind, ''`[QidList`,TypeListSet`,QidSet`,Type?`,ModuleExpression`,ParameterList`,GTermList`,Header`].Kind, ''`[QidList`,TypeListSet`,QidSet`,Type?`,ModuleExpression`,ParameterList`,GTermList`,Header`].Kind, ''`[PrintOptionSet`].Kind], ''`[QidList`,TypeListSet`,QidSet`,Type?`,ModuleExpression`,ParameterList`,GTermList`,Header`].Kind,
    'none.AttrSet], 'op_:_->_`[_`].[''metaPrettyPrint.Sort, '__[
    ''`[Module`].Kind, ''`[QidList`,TypeListSet`,QidSet`,Type?`,ModuleExpression`,ParameterList`,GTermList`,Header`].Kind, ''`[QidList`,TypeListSet`,QidSet`,Type?`,ModuleExpression`,ParameterList`,GTermList`,Header`].Kind,
    ''`[PrintOptionSet`].Kind, ''`[QidList`,TypeListSet`,QidSet`,Type?`,ModuleExpression`,ParameterList`,GTermList`,Header`].Kind], ''`[QidList`,TypeListSet`,QidSet`,Type?`,ModuleExpression`,ParameterList`,GTermList`,Header`].Kind,
    'special['__['id-hook[''MetaLevelOpSymbol.Sort, ''metaPrettyPrint.Sort],
    'op-hook[''shareWith.Sort, ''metaReduce.Sort, '__[''Module.Sort,
    ''QidList.Sort], ''ResultPair?.Sort]]]], 'op_:_->_`[_`].[
    ''metaPrettyPrintStrategy.Sort, '__[''`[Module`].Kind, ''`[QidList`,TypeListSet`,QidSet`,Type?`,ModuleExpression`,ParameterList`,GTermList`,Header`].Kind,
    ''`[StrategyList`,Strategy?`].Kind, ''`[PrintOptionSet`].Kind], ''`[QidList`,TypeListSet`,QidSet`,Type?`,ModuleExpression`,ParameterList`,GTermList`,Header`].Kind, 'special['__['id-hook[''MetaLevelOpSymbol.Sort,
    ''metaPrettyPrintStrategy.Sort], 'op-hook[''shareWith.Sort,
    ''metaReduce.Sort, '__[''Module.Sort, ''QidList.Sort],
    ''ResultPair?.Sort]]]], 'op_:_->_`[_`].[''metaPrintToString.Sort, '__[
    ''`[Module`].Kind, ''`[QidList`,TypeListSet`,QidSet`,Type?`,ModuleExpression`,ParameterList`,GTermList`,Header`].Kind, ''`[QidList`,TypeListSet`,QidSet`,Type?`,ModuleExpression`,ParameterList`,GTermList`,Header`].Kind,
    ''`[PrintOptionSet`].Kind, ''`[QidList`,TypeListSet`,QidSet`,Type?`,ModuleExpression`,ParameterList`,GTermList`,Header`].Kind], ''`[String`].Kind,
    'special['__['id-hook[''MetaLevelOpSymbol.Sort, ''metaPrintToString.Sort],
    'op-hook[''shareWith.Sort, ''metaReduce.Sort, '__[''Module.Sort,
    ''QidList.Sort], ''ResultPair?.Sort]]]], 'op_:_->_`[_`].[''metaReduce.Sort,
    '__[''`[Module`].Kind, ''`[QidList`,TypeListSet`,QidSet`,Type?`,ModuleExpression`,ParameterList`,GTermList`,Header`].Kind], ''`[ResultPair?`].Kind,
    'special['__['id-hook[''MetaLevelOpSymbol.Sort, ''metaReduce.Sort],
    'op-hook[''qidSymbol.Sort, ''<Qids>.Sort, 'nil.TypeList, ''Qid.Sort],
    'op-hook[''metaTermSymbol.Sort, ''_`[_`].Qid, '__[''Qid.Sort,
    ''NeCTermList.Sort], ''Context.Sort], 'op-hook[''metaArgSymbol.Sort,
    ''_`,_.Qid, '__[''GTermList.Sort, ''GTermList.Sort], ''GTermList.Sort],
    'op-hook[''emptyTermListSymbol.Sort, ''empty.Sort, 'nil.TypeList,
    ''GroundTermList.Sort], 'op-hook[''assignmentSymbol.Sort, ''_<-_.Sort, '__[
    ''Variable.Sort, ''Term.Sort], ''Assignment.Sort], 'op-hook[
    ''emptySubstitutionSymbol.Sort, ''none.Sort, 'nil.TypeList,
    ''Substitution.Sort], 'op-hook[''substitutionSymbol.Sort, ''_;_.Sort, '__[
    ''Substitution.Sort, ''Substitution.Sort], ''Substitution.Sort], 'op-hook[
    ''holeSymbol.Sort, ''`[`].Kind, 'nil.TypeList, ''Context.Sort], 'op-hook[
    ''noConditionSymbol.Sort, ''nil.Sort, 'nil.TypeList, ''EqCondition.Sort],
    'op-hook[''equalityConditionSymbol.Sort, ''_=_.Sort, '__[''Term.Sort,
    ''Term.Sort], ''EqCondition.Sort], 'op-hook[''sortTestConditionSymbol.Sort,
    ''_:_.Variable, '__[''Term.Sort, ''Sort.Sort], ''EqCondition.Sort],
    'op-hook[''matchConditionSymbol.Sort, ''_:=_.Variable, '__[''Term.Sort,
    ''Term.Sort], ''EqCondition.Sort], 'op-hook[''rewriteConditionSymbol.Sort,
    ''_=>_.Sort, '__[''Term.Sort, ''Term.Sort], ''Condition.Sort], 'op-hook[
    ''conjunctionSymbol.Sort, ''_/\_.Sort, '__[''Condition.Sort,
    ''Condition.Sort], ''Condition.Sort], 'op-hook[''failStratSymbol.Sort,
    ''fail.Sort, 'nil.TypeList, ''Strategy.Sort], 'op-hook[
    ''idleStratSymbol.Sort, ''idle.Sort, 'nil.TypeList, ''Strategy.Sort],
    'op-hook[''allStratSymbol.Sort, ''all.Sort, 'nil.TypeList,
    ''RuleApplication.Sort], 'op-hook[''applicationStratSymbol.Sort,
    ''_`[_`]`{_`}.Qid, '__[''Qid.Sort, ''Substitution.Sort,
    ''StrategyList.Sort], ''RuleApplication.Sort], 'op-hook[
    ''topStratSymbol.Sort, ''top.Sort, ''RuleApplication.Sort,
    ''Strategy.Sort], 'op-hook[''matchStratSymbol.Sort, ''match_s.t._.Constant,
    '__[''Term.Sort, ''EqCondition.Sort], ''Strategy.Sort], 'op-hook[
    ''xmatchStratSymbol.Sort, ''xmatch_s.t._.Constant, '__[''Term.Sort,
    ''EqCondition.Sort], ''Strategy.Sort], 'op-hook[''amatchStratSymbol.Sort,
    ''amatch_s.t._.Constant, '__[''Term.Sort, ''EqCondition.Sort],
    ''Strategy.Sort], 'op-hook[''unionStratSymbol.Sort, ''_|_.Sort, '__[
    ''Strategy.Sort, ''Strategy.Sort], ''Strategy.Sort], 'op-hook[
    ''concatStratSymbol.Sort, ''_;_.Sort, '__[''Strategy.Sort,
    ''Strategy.Sort], ''Strategy.Sort], 'op-hook[''orelseStratSymbol.Sort,
    ''_or-else_.Sort, '__[''Strategy.Sort, ''Strategy.Sort], ''Strategy.Sort],
    'op-hook[''plusStratSymbol.Sort, ''_+.Sort, ''Strategy.Sort,
    ''Strategy.Sort], 'op-hook[''conditionalStratSymbol.Sort, ''_?_:_.Variable,
    '__[''Strategy.Sort, ''Strategy.Sort, ''Strategy.Sort], ''Strategy.Sort],
    'op-hook[''matchrewStratSymbol.Sort, ''matchrew_s.t._by_.Constant, '__[
    ''Term.Sort, ''EqCondition.Sort, ''UsingPairSet.Sort], ''Strategy.Sort],
    'op-hook[''xmatchrewStratSymbol.Sort, ''xmatchrew_s.t._by_.Constant, '__[
    ''Term.Sort, ''EqCondition.Sort, ''UsingPairSet.Sort], ''Strategy.Sort],
    'op-hook[''amatchrewStratSymbol.Sort, ''amatchrew_s.t._by_.Constant, '__[
    ''Term.Sort, ''EqCondition.Sort, ''UsingPairSet.Sort], ''Strategy.Sort],
    'op-hook[''callStratSymbol.Sort, ''_`[`[_`]`].Qid, '__[''Qid.Sort,
    ''TermList.Sort], ''CallStrategy.Sort], 'op-hook[''oneStratSymbol.Sort,
    ''one.Sort, ''Strategy.Sort, ''Strategy.Sort], 'op-hook[
    ''starStratSymbol.Sort, ''_*.Sort, ''Strategy.Sort, ''Strategy.Sort],
    'op-hook[''normalizationStratSymbol.Sort, ''_!.Sort, ''Strategy.Sort,
    ''Strategy.Sort], 'op-hook[''notStratSymbol.Sort, ''not.Sort,
    ''Strategy.Sort, ''Strategy.Sort], 'op-hook[''testStratSymbol.Sort,
    ''test.Sort, ''Strategy.Sort, ''Strategy.Sort], 'op-hook[
    ''tryStratSymbol.Sort, ''try.Sort, ''Strategy.Sort, ''Strategy.Sort],
    'op-hook[''usingStratSymbol.Sort, ''_using_.Sort, '__[''Variable.Sort,
    ''Strategy.Sort], ''UsingPair.Sort], 'op-hook[''usingListStratSymbol.Sort,
    ''_`,_.Qid, '__[''UsingPairSet.Sort, ''UsingPairSet.Sort],
    ''UsingPairSet.Sort], 'op-hook[''emptyStratListSymbol.Sort, ''empty.Sort,
    'nil.TypeList, ''StrategyList.Sort], 'op-hook[''stratListSymbol.Sort,
    ''_`,_.Qid, '__[''StrategyList.Sort, ''StrategyList.Sort],
    ''StrategyList.Sort], 'op-hook[''headerSymbol.Sort, ''_`{_`}.Sort, '__[
    ''Qid.Sort, ''ParameterDeclList.Sort], ''Header.Sort], 'op-hook[
    ''parameterDeclSymbol.Sort, ''_::_.Variable, '__[''Sort.Sort,
    ''ModuleExpression.Sort], ''ParameterDecl.Sort], 'op-hook[
    ''parameterDeclListSymbol.Sort, ''_`,_.Qid, '__[''NeParameterDeclList.Sort,
    ''ParameterDeclList.Sort], ''NeParameterDeclList.Sort], 'op-hook[
    ''protectingSymbol.Sort, ''protecting_..Qid, ''ModuleExpression.Sort,
    ''Import.Sort], 'op-hook[''extendingSymbol.Sort, ''extending_..Qid,
    ''ModuleExpression.Sort, ''Import.Sort], 'op-hook[''includingSymbol.Sort,
    ''including_..Qid, ''ModuleExpression.Sort, ''Import.Sort], 'op-hook[
    ''generatedBySymbol.Sort, ''generated-by_..Qid, ''ModuleExpression.Sort,
    ''Import.Sort], 'op-hook[''nilImportListSymbol.Sort, ''nil.Sort,
    'nil.TypeList, ''ImportList.Sort], 'op-hook[''importListSymbol.Sort,
    ''__.Sort, '__[''ImportList.Sort, ''ImportList.Sort], ''ImportList.Sort],
    'op-hook[''emptySortSetSymbol.Sort, ''none.Sort, 'nil.TypeList,
    ''QidSet.Sort], 'op-hook[''sortSetSymbol.Sort, ''_;_.Sort, '__[
    ''NeQidSet.Sort, ''QidSet.Sort], ''NeQidSet.Sort], 'op-hook[
    ''subsortSymbol.Sort, ''subsort_<_..Qid, '__[''Sort.Sort, ''Sort.Sort],
    ''SubsortDecl.Sort], 'op-hook[''emptySubsortDeclSetSymbol.Sort,
    ''none.Sort, 'nil.TypeList, ''SubsortDeclSet.Sort], 'op-hook[
    ''subsortDeclSetSymbol.Sort, ''__.Sort, '__[''SubsortDeclSet.Sort,
    ''SubsortDeclSet.Sort], ''SubsortDeclSet.Sort], 'op-hook[
    ''nilQidListSymbol.Sort, ''nil.Sort, 'nil.TypeList, ''QidList.Sort],
    'op-hook[''qidListSymbol.Sort, ''__.Sort, '__[''QidList.Sort,
    ''QidList.Sort], ''QidList.Sort], 'op-hook[''emptyQidSetSymbol.Sort,
    ''none.Sort, 'nil.TypeList, ''QidSet.Sort], 'op-hook[''qidSetSymbol.Sort,
    ''_;_.Sort, '__[''NeQidSet.Sort, ''QidSet.Sort], ''NeQidSet.Sort],
    'op-hook[''succSymbol.Sort, ''s_.Sort, ''Nat.Sort, ''NzNat.Sort], 'op-hook[
    ''natListSymbol.Sort, ''__.Sort, '__[''NatList.Sort, ''NatList.Sort],
    ''NatList.Sort], 'op-hook[''unboundedSymbol.Sort, ''unbounded.Sort,
    'nil.TypeList, ''Bound.Sort], 'op-hook[''noParentSymbol.Sort, ''none.Sort,
    'nil.TypeList, ''Parent.Sort], 'op-hook[''stringSymbol.Sort,
    ''<Strings>.Sort, 'nil.TypeList, ''Char.Sort], 'op-hook[
    ''sortRenamingSymbol.Sort, ''sort_to_.Sort, '__[''Qid.Sort, ''Qid.Sort],
    ''Renaming.Sort], 'op-hook[''opRenamingSymbol.Sort, ''op_to_`[_`].Qid, '__[
    ''Qid.Sort, ''Qid.Sort, ''AttrSet.Sort], ''Renaming.Sort], 'op-hook[
    ''opRenamingSymbol2.Sort, ''op_:_->_to_`[_`].Qid, '__[''Qid.Sort,
    ''TypeList.Sort, ''Type.Sort, ''Qid.Sort, ''AttrSet.Sort],
    ''Renaming.Sort], 'op-hook[''labelRenamingSymbol.Sort, ''label_to_.Sort,
    '__[''Qid.Sort, ''Qid.Sort], ''Renaming.Sort], 'op-hook[
    ''stratRenamingSymbol.Sort, ''strat_to_.Sort, '__[''Qid.Sort, ''Qid.Sort],
    ''Renaming.Sort], 'op-hook[''stratRenamingSymbol2.Sort,
    ''strat_:_@_to_.Variable, '__[''Qid.Sort, ''TypeList.Sort, ''Type.Sort,
    ''Qid.Sort], ''Renaming.Sort], 'op-hook[''renamingSetSymbol.Sort,
    ''_`,_.Qid, '__[''RenamingSet.Sort, ''RenamingSet.Sort],
    ''RenamingSet.Sort], 'op-hook[''sumSymbol.Sort, ''_+_.Sort, '__[
    ''ModuleExpression.Sort, ''ModuleExpression.Sort],
    ''ModuleExpression.Sort], 'op-hook[''renamingSymbol.Sort, ''_*`(_`).Sort,
    '__[''ModuleExpression.Sort, ''RenamingSet.Sort], ''ModuleExpression.Sort],
    'op-hook[''instantiationSymbol.Sort, ''_`{_`}.Sort, '__[''Expression.Sort,
    ''NeParameterList.Sort], ''Expression.Sort], 'op-hook[
    ''termHookSymbol.Sort, ''term-hook.Sort, '__[''Qid.Sort, ''Term.Sort],
    ''Hook.Sort], 'op-hook[''hookListSymbol.Sort, ''__.Sort, '__[
    ''HookList.Sort, ''HookList.Sort], ''HookList.Sort], 'op-hook[
    ''idHookSymbol.Sort, ''id-hook.Sort, '__[''Qid.Sort, ''QidList.Sort],
    ''Hook.Sort], 'op-hook[''opHookSymbol.Sort, ''op-hook.Sort, '__[''Qid.Sort,
    ''Qid.Sort, ''QidList.Sort, ''Qid.Sort], ''Hook.Sort], 'op-hook[
    ''assocSymbol.Sort, ''assoc.Sort, 'nil.TypeList, ''Attr.Sort], 'op-hook[
    ''commSymbol.Sort, ''comm.Sort, 'nil.TypeList, ''Attr.Sort], 'op-hook[
    ''idemSymbol.Sort, ''idem.Sort, 'nil.TypeList, ''Attr.Sort], 'op-hook[
    ''iterSymbol.Sort, ''iter.Sort, 'nil.TypeList, ''Attr.Sort], 'op-hook[
    ''idSymbol.Sort, ''id.Sort, ''Term.Sort, ''Attr.Sort], 'op-hook[
    ''leftIdSymbol.Sort, ''left-id.Sort, ''Term.Sort, ''Attr.Sort], 'op-hook[
    ''rightIdSymbol.Sort, ''right-id.Sort, ''Term.Sort, ''Attr.Sort], 'op-hook[
    ''stratSymbol.Sort, ''strat.Sort, ''NeNatList.Sort, ''Attr.Sort], 'op-hook[
    ''memoSymbol.Sort, ''memo.Sort, 'nil.TypeList, ''Attr.Sort], 'op-hook[
    ''precSymbol.Sort, ''prec.Sort, ''Nat.Sort, ''Attr.Sort], 'op-hook[
    ''gatherSymbol.Sort, ''gather.Sort, ''QidList.Sort, ''Attr.Sort], 'op-hook[
    ''formatSymbol.Sort, ''format.Sort, ''QidList.Sort, ''Attr.Sort], 'op-hook[
    ''latexSymbol.Sort, ''latex.Sort, ''String.Sort, ''Attr.Sort], 'op-hook[
    ''ctorSymbol.Sort, ''ctor.Sort, 'nil.TypeList, ''Attr.Sort], 'op-hook[
    ''frozenSymbol.Sort, ''frozen.Sort, ''NeNatList.Sort, ''Attr.Sort],
    'op-hook[''polySymbol.Sort, ''poly.Sort, ''NeNatList.Sort, ''Attr.Sort],
    'op-hook[''configSymbol.Sort, ''config.Sort, 'nil.TypeList, ''Attr.Sort],
    'op-hook[''objectSymbol.Sort, ''object.Sort, 'nil.TypeList, ''Attr.Sort],
    'op-hook[''msgSymbol.Sort, ''msg.Sort, 'nil.TypeList, ''Attr.Sort],
    'op-hook[''portalSymbol.Sort, ''portal.Sort, 'nil.TypeList, ''Attr.Sort],
    'op-hook[''pconstSymbol.Sort, ''pconst.Sort, 'nil.TypeList, ''Attr.Sort],
    'op-hook[''specialSymbol.Sort, ''special.Sort, ''NeHookList.Sort,
    ''Attr.Sort], 'op-hook[''labelSymbol.Sort, ''label.Sort, ''Qid.Sort,
    ''Attr.Sort], 'op-hook[''metadataSymbol.Sort, ''metadata.Sort,
    ''String.Sort, ''Attr.Sort], 'op-hook[''owiseSymbol.Sort, ''owise.Sort,
    'nil.TypeList, ''Attr.Sort], 'op-hook[''variantAttrSymbol.Sort,
    ''variant.Sort, 'nil.TypeList, ''Attr.Sort], 'op-hook[
    ''narrowingSymbol.Sort, ''narrowing.Sort, 'nil.TypeList, ''Attr.Sort],
    'op-hook[''nonexecSymbol.Sort, ''nonexec.Sort, 'nil.TypeList, ''Attr.Sort],
    'op-hook[''printSymbol.Sort, ''print.Sort, ''QidList.Sort, ''Attr.Sort],
    'op-hook[''emptyAttrSetSymbol.Sort, ''none.Sort, 'nil.TypeList,
    ''AttrSet.Sort], 'op-hook[''attrSetSymbol.Sort, ''__.Sort, '__[
    ''AttrSet.Sort, ''AttrSet.Sort], ''AttrSet.Sort], 'op-hook[
    ''opDeclSymbol.Sort, ''op_:_->_`[_`]..Qid, '__[''Qid.Sort, ''TypeList.Sort,
    ''Type.Sort, ''AttrSet.Sort], ''OpDecl.Sort], 'op-hook[
    ''opDeclSetSymbol.Sort, ''__.Sort, '__[''OpDeclSet.Sort, ''OpDeclSet.Sort],
    ''OpDeclSet.Sort], 'op-hook[''emptyOpDeclSetSymbol.Sort, ''none.Sort,
    'nil.TypeList, ''OpDeclSet.Sort], 'op-hook[''mbSymbol.Sort,
    ''mb_:_`[_`]..Qid, '__[''Term.Sort, ''Sort.Sort, ''AttrSet.Sort],
    ''MembAx.Sort], 'op-hook[''cmbSymbol.Sort, ''cmb_:_if_`[_`]..Qid, '__[
    ''Term.Sort, ''Sort.Sort, ''EqCondition.Sort, ''AttrSet.Sort],
    ''MembAx.Sort], 'op-hook[''emptyMembAxSetSymbol.Sort, ''none.Sort,
    'nil.TypeList, ''MembAxSet.Sort], 'op-hook[''membAxSetSymbol.Sort,
    ''__.Sort, '__[''MembAxSet.Sort, ''MembAxSet.Sort], ''MembAxSet.Sort],
    'op-hook[''eqSymbol.Sort, ''eq_=_`[_`]..Qid, '__[''Term.Sort, ''Term.Sort,
    ''AttrSet.Sort], ''Equation.Sort], 'op-hook[''ceqSymbol.Sort,
    ''ceq_=_if_`[_`]..Qid, '__[''Term.Sort, ''Term.Sort, ''EqCondition.Sort,
    ''AttrSet.Sort], ''Equation.Sort], 'op-hook[''emptyEquationSetSymbol.Sort,
    ''none.Sort, 'nil.TypeList, ''EquationSet.Sort], 'op-hook[
    ''equationSetSymbol.Sort, ''__.Sort, '__[''EquationSet.Sort,
    ''EquationSet.Sort], ''EquationSet.Sort], 'op-hook[''rlSymbol.Sort,
    ''rl_=>_`[_`]..Qid, '__[''Term.Sort, ''Term.Sort, ''AttrSet.Sort],
    ''Rule.Sort], 'op-hook[''crlSymbol.Sort, ''crl_=>_if_`[_`]..Qid, '__[
    ''Term.Sort, ''Term.Sort, ''Condition.Sort, ''AttrSet.Sort], ''Rule.Sort],
    'op-hook[''emptyRuleSetSymbol.Sort, ''none.Sort, 'nil.TypeList,
    ''RuleSet.Sort], 'op-hook[''ruleSetSymbol.Sort, ''__.Sort, '__[
    ''RuleSet.Sort, ''RuleSet.Sort], ''RuleSet.Sort], 'op-hook[
    ''stratDeclSymbol.Sort, ''strat_:_@_`[_`]..Qid, '__[''Qid.Sort,
    ''TypeList.Sort, ''Type.Sort, ''AttrSet.Sort], ''StratDecl.Sort], 'op-hook[
    ''emptyStratDeclSetSymbol.Sort, ''none.Sort, 'nil.TypeList,
    ''StratDeclSet.Sort], 'op-hook[''stratDeclSetSymbol.Sort, ''__.Sort, '__[
    ''StratDeclSet.Sort, ''StratDeclSet.Sort], ''StratDeclSet.Sort], 'op-hook[
    ''sdSymbol.Sort, ''sd_:=_`[_`]..Qid, '__[''CallStrategy.Sort,
    ''Strategy.Sort, ''AttrSet.Sort], ''StratDefinition.Sort], 'op-hook[
    ''csdSymbol.Sort, ''csd_:=_if_`[_`]..Qid, '__[''CallStrategy.Sort,
    ''Strategy.Sort, ''EqCondition.Sort, ''AttrSet.Sort],
    ''StratDefinition.Sort], 'op-hook[''emptyStratDefSetSymbol.Sort,
    ''none.Sort, 'nil.TypeList, ''StratDefSet.Sort], 'op-hook[
    ''stratDefSetSymbol.Sort, ''__.Sort, '__[''StratDefSet.Sort,
    ''StratDefSet.Sort], ''StratDefSet.Sort], 'op-hook[''fmodSymbol.Sort,
    ''fmod_is_sorts_.____endfm.Constant, '__[''Header.Sort, ''ImportList.Sort,
    ''SortSet.Sort, ''SubsortDeclSet.Sort, ''OpDeclSet.Sort, ''MembAxSet.Sort,
    ''EquationSet.Sort], ''FModule.Sort], 'op-hook[''fthSymbol.Sort,
    ''fth_is_sorts_.____endfth.Constant, '__[''Qid.Sort, ''ImportList.Sort,
    ''SortSet.Sort, ''SubsortDeclSet.Sort, ''OpDeclSet.Sort, ''MembAxSet.Sort,
    ''EquationSet.Sort], ''FTheory.Sort], 'op-hook[''modSymbol.Sort,
    ''mod_is_sorts_._____endm.Constant, '__[''Header.Sort, ''ImportList.Sort,
    ''SortSet.Sort, ''SubsortDeclSet.Sort, ''OpDeclSet.Sort, ''MembAxSet.Sort,
    ''EquationSet.Sort, ''RuleSet.Sort], ''SModule.Sort], 'op-hook[
    ''thSymbol.Sort, ''th_is_sorts_._____endth.Constant, '__[''Qid.Sort,
    ''ImportList.Sort, ''SortSet.Sort, ''SubsortDeclSet.Sort, ''OpDeclSet.Sort,
    ''MembAxSet.Sort, ''EquationSet.Sort, ''RuleSet.Sort], ''STheory.Sort],
    'op-hook[''smodSymbol.Sort, ''smod_is_sorts_._______endsm.Constant, '__[
    ''Header.Sort, ''ImportList.Sort, ''SortSet.Sort, ''SubsortDeclSet.Sort,
    ''OpDeclSet.Sort, ''MembAxSet.Sort, ''EquationSet.Sort, ''RuleSet.Sort,
    ''StratDeclSet.Sort, ''StratDefSet.Sort], ''StratModule.Sort], 'op-hook[
    ''sthSymbol.Sort, ''sth_is_sorts_._______endsth.Constant, '__[
    ''Header.Sort, ''ImportList.Sort, ''SortSet.Sort, ''SubsortDeclSet.Sort,
    ''OpDeclSet.Sort, ''MembAxSet.Sort, ''EquationSet.Sort, ''RuleSet.Sort,
    ''StratDeclSet.Sort, ''StratDefSet.Sort], ''StratTheory.Sort], 'op-hook[
    ''sortMappingSymbol.Sort, ''sort_to_..Qid, '__[''Sort.Sort, ''Sort.Sort],
    ''SortMapping.Sort], 'op-hook[''emptySortMappingSetSymbol.Sort,
    ''none.Sort, 'nil.TypeList, ''SortMappingSet.Sort], 'op-hook[
    ''sortMappingSetSymbol.Sort, ''__.Sort, '__[''SortMappingSet.Sort,
    ''SortMappingSet.Sort], ''SortMappingSet.Sort], 'op-hook[
    ''opMappingSymbol.Sort, ''op_to_..Qid, '__[''Qid.Sort, ''Qid.Sort],
    ''OpMapping.Sort], 'op-hook[''opSpecificMappingSymbol.Sort,
    ''op_:_->_to_..Qid, '__[''Qid.Sort, ''TypeList.Sort, ''Type.Sort,
    ''Qid.Sort], ''OpMapping.Sort], 'op-hook[''opTermMappingSymbol.Sort,
    ''op_to`term_..Qid, '__[''Term.Sort, ''Term.Sort], ''OpMapping.Sort],
    'op-hook[''emptyOpMappingSetSymbol.Sort, ''none.Sort, 'nil.TypeList,
    ''OpMappingSet.Sort], 'op-hook[''opMappingSetSymbol.Sort, ''__.Sort, '__[
    ''OpMappingSet.Sort, ''OpMappingSet.Sort], ''OpMappingSet.Sort], 'op-hook[
    ''stratMappingSymbol.Sort, ''strat_to_..Qid, '__[''Qid.Sort, ''Qid.Sort],
    ''StratMapping.Sort], 'op-hook[''stratSpecificMappingSymbol.Sort,
    ''strat_:_@_to_..Qid, '__[''Qid.Sort, ''TypeList.Sort, ''Type.Sort,
    ''Qid.Sort], ''StratMapping.Sort], 'op-hook[''stratExprMappingSymbol.Sort,
    ''strat_to`expr_..Qid, '__[''CallStrategy.Sort, ''Strategy.Sort],
    ''StratMapping.Sort], 'op-hook[''emptyStratMappingSetSymbol.Sort,
    ''none.Sort, 'nil.TypeList, ''StratMappingSet.Sort], 'op-hook[
    ''stratMappingSetSymbol.Sort, ''__.Sort, '__[''StratMappingSet.Sort,
    ''StratMappingSet.Sort], ''StratMappingSet.Sort], 'op-hook[
    ''viewSymbol.Sort, ''view_from_to_is___endv.Sort, '__[''Header.Sort,
    ''ModuleExpression.Sort, ''ModuleExpression.Sort, ''SortMappingSet.Sort,
    ''OpMappingSet.Sort, ''StratMappingSet.Sort], ''View.Sort], 'op-hook[
    ''anyTypeSymbol.Sort, ''anyType.Sort, 'nil.TypeList, ''Type?.Sort],
    'op-hook[''unificandPairSymbol.Sort, ''_=?_.Sort, '__[''Term.Sort,
    ''Term.Sort], ''UnificandPair.Sort], 'op-hook[
    ''unificationConjunctionSymbol.Sort, ''_/\_.Sort, '__[
    ''UnificationProblem.Sort, ''UnificationProblem.Sort],
    ''UnificationProblem.Sort], 'op-hook[''patternSubjectPairSymbol.Sort,
    ''_<=?_.Sort, '__[''Term.Sort, ''Term.Sort], ''PatternSubjectPair.Sort],
    'op-hook[''matchingConjunctionSymbol.Sort, ''_/\_.Sort, '__[
    ''MatchingProblem.Sort, ''MatchingProblem.Sort], ''MatchingProblem.Sort],
    'op-hook[''resultPairSymbol.Sort, ''`{_`,_`}.Qid, '__[''Term.Sort,
    ''Type.Sort], ''ResultPair.Sort], 'op-hook[''resultTripleSymbol.Sort,
    ''`{_`,_`,_`}.Qid, '__[''Term.Sort, ''Type.Sort, ''Substitution.Sort],
    ''ResultTriple.Sort], 'op-hook[''result4TupleSymbol.Sort,
    ''`{_`,_`,_`,_`}.Qid, '__[''Term.Sort, ''Type.Sort, ''Substitution.Sort,
    ''Context.Sort], ''Result4Tuple.Sort], 'op-hook[''matchPairSymbol.Sort,
    ''`{_`,_`}.Qid, '__[''Substitution.Sort, ''Context.Sort],
    ''MatchPair.Sort], 'op-hook[''unificationTripleSymbol.Sort,
    ''`{_`,_`,_`}.Qid, '__[''Substitution.Sort, ''Substitution.Sort,
    ''Qid.Sort], ''UnificationTriple.Sort], 'op-hook[''variantSymbol.Sort,
    ''`{_`,_`,_`,_`,_`}.Qid, '__[''Term.Sort, ''Substitution.Sort, ''Qid.Sort,
    ''Parent.Sort, ''Bool.Sort], ''Variant.Sort], 'op-hook[
    ''narrowingApplyResultSymbol.Sort, ''`{_`,_`,_`,_`,_`,_`,_`}.Qid, '__[
    ''Term.Sort, ''Type.Sort, ''Context.Sort, ''Qid.Sort, ''Substitution.Sort,
    ''Substitution.Sort, ''Qid.Sort], ''NarrowingApplyResult.Sort], 'op-hook[
    ''narrowingSearchResultSymbol.Sort, ''`{_`,_`,_`,_`,_`,_`}.Qid, '__[
    ''Term.Sort, ''Type.Sort, ''Substitution.Sort, ''Qid.Sort,
    ''Substitution.Sort, ''Qid.Sort], ''NarrowingSearchResult.Sort], 'op-hook[
    ''traceStepSymbol.Sort, ''`{_`,_`,_`}.Qid, '__[''Term.Sort, ''Type.Sort,
    ''Rule.Sort], ''TraceStep.Sort], 'op-hook[''nilTraceSymbol.Sort,
    ''nil.Sort, 'nil.TypeList, ''Trace.Sort], 'op-hook[''traceSymbol.Sort,
    ''__.Sort, '__[''Trace.Sort, ''Trace.Sort], ''Trace.Sort], 'op-hook[
    ''narrowingStepSymbol.Sort, ''`{_`,_`,_`,_`,_`,_`,_`}.Qid, '__[
    ''Context.Sort, ''Qid.Sort, ''Substitution.Sort, ''Qid.Sort, ''Term.Sort,
    ''Type.Sort, ''Substitution.Sort], ''NarrowingStep.Sort], 'op-hook[
    ''nilNarrowingTraceSymbol.Sort, ''nil.Sort, 'nil.TypeList,
    ''NarrowingTrace.Sort], 'op-hook[''narrowingTraceSymbol.Sort, ''__.Sort,
    '__[''NarrowingTrace.Sort, ''NarrowingTrace.Sort], ''NarrowingTrace.Sort],
    'op-hook[''narrowingSearchPathResultSymbol.Sort,
    ''`{_`,_`,_`,_`,_`,_`}.Qid, '__[''Term.Sort, ''Type.Sort,
    ''Substitution.Sort, ''NarrowingTrace.Sort, ''Substitution.Sort,
    ''Qid.Sort], ''NarrowingSearchPathResult.Sort], 'op-hook[
    ''smtResultSymbol.Sort, ''`{_`,_`,_`,_`}.Qid, '__[''Term.Sort,
    ''Substitution.Sort, ''Term.Sort, ''Nat.Sort], ''SmtResult.Sort], 'op-hook[
    ''noParseSymbol.Sort, ''noParse.Sort, ''Nat.Sort, ''ResultPair?.Sort],
    'op-hook[''ambiguitySymbol.Sort, ''ambiguity.Sort, '__[''ResultPair.Sort,
    ''ResultPair.Sort], ''ResultPair?.Sort], 'op-hook[''failure2Symbol.Sort,
    ''failure.Sort, 'nil.TypeList, ''ResultPair?.Sort], 'op-hook[
    ''failure3Symbol.Sort, ''failure.Sort, 'nil.TypeList,
    ''ResultTriple?.Sort], 'op-hook[''failureIncomplete3Symbol.Sort,
    ''failureIncomplete.Sort, 'nil.TypeList, ''ResultTriple?.Sort], 'op-hook[
    ''failure4Symbol.Sort, ''failure.Sort, 'nil.TypeList,
    ''Result4Tuple?.Sort], 'op-hook[''noUnifierPairSymbol.Sort,
    ''noUnifier.Sort, 'nil.TypeList, ''UnificationPair?.Sort], 'op-hook[
    ''noUnifierTripleSymbol.Sort, ''noUnifier.Sort, 'nil.TypeList,
    ''UnificationTriple?.Sort], 'op-hook[''noUnifierIncompletePairSymbol.Sort,
    ''noUnifierIncomplete.Sort, 'nil.TypeList, ''UnificationPair?.Sort],
    'op-hook[''noUnifierIncompleteTripleSymbol.Sort,
    ''noUnifierIncomplete.Sort, 'nil.TypeList, ''UnificationTriple?.Sort],
    'op-hook[''noVariantSymbol.Sort, ''noVariant.Sort, 'nil.TypeList,
    ''Variant?.Sort], 'op-hook[''noVariantIncompleteSymbol.Sort,
    ''noVariantIncomplete.Sort, 'nil.TypeList, ''Variant?.Sort], 'op-hook[
    ''narrowingApplyFailureSymbol.Sort, ''failure.Sort, 'nil.TypeList,
    ''NarrowingApplyResult?.Sort], 'op-hook[
    ''narrowingApplyFailureIncompleteSymbol.Sort, ''failureIncomplete.Sort,
    'nil.TypeList, ''NarrowingApplyResult?.Sort], 'op-hook[
    ''narrowingSearchFailureSymbol.Sort, ''failure.Sort, 'nil.TypeList,
    ''NarrowingSearchResult?.Sort], 'op-hook[
    ''narrowingSearchFailureIncompleteSymbol.Sort, ''failureIncomplete.Sort,
    'nil.TypeList, ''NarrowingSearchResult?.Sort], 'op-hook[
    ''narrowingSearchPathFailureSymbol.Sort, ''failure.Sort, 'nil.TypeList,
    ''NarrowingSearchPathResult?.Sort], 'op-hook[
    ''narrowingSearchPathFailureIncompleteSymbol.Sort,
    ''failureIncomplete.Sort, 'nil.TypeList,
    ''NarrowingSearchPathResult?.Sort], 'op-hook[''noMatchSubstSymbol.Sort,
    ''noMatch.Sort, 'nil.TypeList, ''Substitution?.Sort], 'op-hook[
    ''noMatchIncompleteSubstSymbol.Sort, ''noMatchIncomplete.Sort,
    'nil.TypeList, ''Substitution?.Sort], 'op-hook[''noMatchPairSymbol.Sort,
    ''noMatch.Sort, 'nil.TypeList, ''MatchPair?.Sort], 'op-hook[
    ''failureTraceSymbol.Sort, ''failure.Sort, 'nil.TypeList, ''Trace?.Sort],
    'op-hook[''smtFailureSymbol.Sort, ''failure.Sort, 'nil.TypeList,
    ''SmtResult?.Sort], 'op-hook[''noStratParseSymbol.Sort,
    ''noStratParse.Sort, ''Nat.Sort, ''Strategy?.Sort], 'op-hook[
    ''stratAmbiguitySymbol.Sort, ''ambiguity.Sort, '__[''Strategy.Sort,
    ''Strategy.Sort], ''Strategy?.Sort], 'op-hook[''mixfixSymbol.Sort,
    ''mixfix.Sort, 'nil.TypeList, ''PrintOption.Sort], 'op-hook[
    ''withParensSymbol.Sort, ''with-parens.Sort, 'nil.TypeList,
    ''PrintOption.Sort], 'op-hook[''withSortsSymbol.Sort, ''with-sorts.Sort,
    'nil.TypeList, ''PrintOption.Sort], 'op-hook[''flatSymbol.Sort,
    ''flat.Sort, 'nil.TypeList, ''PrintOption.Sort], 'op-hook[
    ''formatPrintOptionSymbol.Sort, ''format.Sort, 'nil.TypeList,
    ''PrintOption.Sort], 'op-hook[''numberSymbol.Sort, ''number.Sort,
    'nil.TypeList, ''PrintOption.Sort], 'op-hook[''ratSymbol.Sort, ''rat.Sort,
    'nil.TypeList, ''PrintOption.Sort], 'op-hook[
    ''emptyPrintOptionSetSymbol.Sort, ''none.Sort, 'nil.TypeList,
    ''PrintOptionSet.Sort], 'op-hook[''printOptionSetSymbol.Sort, ''__.Sort,
    '__[''PrintOptionSet.Sort, ''PrintOptionSet.Sort], ''PrintOptionSet.Sort],
    'op-hook[''delaySymbol.Sort, ''delay.Sort, 'nil.TypeList,
    ''VariantOption.Sort], 'op-hook[''filterSymbol.Sort, ''filter.Sort,
    'nil.TypeList, ''VariantOption.Sort], 'op-hook[
    ''emptyVariantOptionSetSymbol.Sort, ''none.Sort, 'nil.TypeList,
    ''VariantOptionSet.Sort], 'op-hook[''variantOptionSetSymbol.Sort,
    ''__.Sort, '__[''VariantOptionSet.Sort, ''VariantOptionSet.Sort],
    ''VariantOptionSet.Sort], 'op-hook[''breadthFirstSymbol.Sort,
    ''breadthFirst.Sort, 'nil.TypeList, ''SrewriteOption.Sort], 'op-hook[
    ''depthFirstSymbol.Sort, ''depthFirst.Sort, 'nil.TypeList,
    ''SrewriteOption.Sort], 'op-hook[''legacyUnificationPairSymbol.Sort,
    ''`{_`,_`}.Qid, '__[''Substitution.Sort, ''Nat.Sort],
    ''UnificationPair.Sort], 'op-hook[''legacyUnificationTripleSymbol.Sort,
    ''`{_`,_`,_`}.Qid, '__[''Substitution.Sort, ''Substitution.Sort,
    ''Nat.Sort], ''UnificationTriple.Sort], 'op-hook[
    ''legacyVariantSymbol.Sort, ''`{_`,_`,_`,_`,_`}.Qid, '__[''Term.Sort,
    ''Substitution.Sort, ''Nat.Sort, ''Parent.Sort, ''Bool.Sort],
    ''Variant.Sort], 'term-hook[''trueTerm.Sort, ''true.Bool.Constant],
    'term-hook[''falseTerm.Sort, ''false.Bool.Constant]]]], 'op_:_->_`[_`].[
    ''metaRewrite.Sort, '__[''`[Module`].Kind, ''`[QidList`,TypeListSet`,QidSet`,Type?`,ModuleExpression`,ParameterList`,GTermList`,Header`].Kind,
    ''`[FindResult`,NatList`,Bound`,Parent`].Kind], ''`[ResultPair?`].Kind,
    'special['__['id-hook[''MetaLevelOpSymbol.Sort, ''metaRewrite.Sort],
    'op-hook[''shareWith.Sort, ''metaReduce.Sort, '__[''Module.Sort,
    ''QidList.Sort], ''ResultPair?.Sort]]]], 'op_:_->_`[_`].[''metaSearch.Sort,
    '__[''`[Module`].Kind, ''`[QidList`,TypeListSet`,QidSet`,Type?`,ModuleExpression`,ParameterList`,GTermList`,Header`].Kind, ''`[QidList`,TypeListSet`,QidSet`,Type?`,ModuleExpression`,ParameterList`,GTermList`,Header`].Kind,
    ''`[Condition`].Kind, ''`[QidList`,TypeListSet`,QidSet`,Type?`,ModuleExpression`,ParameterList`,GTermList`,Header`].Kind,
    ''`[FindResult`,NatList`,Bound`,Parent`].Kind,
    ''`[FindResult`,NatList`,Bound`,Parent`].Kind], ''`[ResultTriple?`].Kind,
    'special['__['id-hook[''MetaLevelOpSymbol.Sort, ''metaSearch.Sort],
    'op-hook[''shareWith.Sort, ''metaReduce.Sort, '__[''Module.Sort,
    ''QidList.Sort], ''ResultPair?.Sort]]]], 'op_:_->_`[_`].[
    ''metaSearchPath.Sort, '__[''`[Module`].Kind, ''`[QidList`,TypeListSet`,QidSet`,Type?`,ModuleExpression`,ParameterList`,GTermList`,Header`].Kind, ''`[QidList`,TypeListSet`,QidSet`,Type?`,ModuleExpression`,ParameterList`,GTermList`,Header`].Kind, ''`[Condition`].Kind, ''`[QidList`,TypeListSet`,QidSet`,Type?`,ModuleExpression`,ParameterList`,GTermList`,Header`].Kind,
    ''`[FindResult`,NatList`,Bound`,Parent`].Kind,
    ''`[FindResult`,NatList`,Bound`,Parent`].Kind], ''`[Trace?`].Kind,
    'special['__['id-hook[''MetaLevelOpSymbol.Sort, ''metaSearchPath.Sort],
    'op-hook[''shareWith.Sort, ''metaReduce.Sort, '__[''Module.Sort,
    ''QidList.Sort], ''ResultPair?.Sort]]]], 'op_:_->_`[_`].[
    ''metaSmtSearch.Sort, '__[''`[Module`].Kind, ''`[QidList`,TypeListSet`,QidSet`,Type?`,ModuleExpression`,ParameterList`,GTermList`,Header`].Kind, ''`[QidList`,TypeListSet`,QidSet`,Type?`,ModuleExpression`,ParameterList`,GTermList`,Header`].Kind, ''`[Condition`].Kind, ''`[QidList`,TypeListSet`,QidSet`,Type?`,ModuleExpression`,ParameterList`,GTermList`,Header`].Kind,
    ''`[FindResult`,NatList`,Bound`,Parent`].Kind,
    ''`[FindResult`,NatList`,Bound`,Parent`].Kind,
    ''`[FindResult`,NatList`,Bound`,Parent`].Kind], ''`[SmtResult?`].Kind,
    'special['__['id-hook[''MetaLevelOpSymbol.Sort, ''metaSmtSearch.Sort],
    'op-hook[''shareWith.Sort, ''metaReduce.Sort, '__[''Module.Sort,
    ''QidList.Sort], ''ResultPair?.Sort]]]], 'op_:_->_`[_`].[
    ''metaSrewrite.Sort, '__[''`[Module`].Kind, ''`[QidList`,TypeListSet`,QidSet`,Type?`,ModuleExpression`,ParameterList`,GTermList`,Header`].Kind,
    ''`[StrategyList`,Strategy?`].Kind, ''`[SrewriteOption`].Kind,
    ''`[FindResult`,NatList`,Bound`,Parent`].Kind], ''`[ResultPair?`].Kind,
    'special['__['id-hook[''MetaLevelOpSymbol.Sort, ''metaSrewrite.Sort],
    'op-hook[''shareWith.Sort, ''metaReduce.Sort, '__[''Module.Sort,
    ''QidList.Sort], ''ResultPair?.Sort]]]], 'op_:_->_`[_`].[''metaUnify.Sort,
    '__[''`[Module`].Kind, ''`[UnificationProblem`].Kind,
    ''`[FindResult`,NatList`,Bound`,Parent`].Kind,
    ''`[FindResult`,NatList`,Bound`,Parent`].Kind],
    ''`[MatchPair?`,UnificationPair?`,MatchOrUnificationPair`].Kind, 'special[
    '__['id-hook[''MetaLevelOpSymbol.Sort, ''legacyMetaUnify.Sort], 'op-hook[
    ''shareWith.Sort, ''metaReduce.Sort, '__[''Module.Sort, ''QidList.Sort],
    ''ResultPair?.Sort]]]], 'op_:_->_`[_`].[''metaUnify.Sort, '__[
    ''`[Module`].Kind, ''`[UnificationProblem`].Kind, ''`[QidList`,TypeListSet`,QidSet`,Type?`,ModuleExpression`,ParameterList`,GTermList`,Header`].Kind,
    ''`[FindResult`,NatList`,Bound`,Parent`].Kind],
    ''`[MatchPair?`,UnificationPair?`,MatchOrUnificationPair`].Kind, 'special[
    '__['id-hook[''MetaLevelOpSymbol.Sort, ''metaUnify.Sort], 'op-hook[
    ''shareWith.Sort, ''metaReduce.Sort, '__[''Module.Sort, ''QidList.Sort],
    ''ResultPair?.Sort]]]], 'op_:_->_`[_`].[''metaVariantDisjointUnify.Sort,
    '__[''`[Module`].Kind, ''`[UnificationProblem`].Kind, ''`[QidList`,TypeListSet`,QidSet`,Type?`,ModuleExpression`,ParameterList`,GTermList`,Header`].Kind,
    ''`[FindResult`,NatList`,Bound`,Parent`].Kind,
    ''`[FindResult`,NatList`,Bound`,Parent`].Kind],
    ''`[UnificationTriple?`].Kind, 'special['__['id-hook[
    ''MetaLevelOpSymbol.Sort, ''legacyMetaVariantDisjointUnify.Sort], 'op-hook[
    ''shareWith.Sort, ''metaReduce.Sort, '__[''Module.Sort, ''QidList.Sort],
    ''ResultPair?.Sort]]]], 'op_:_->_`[_`].[''metaVariantDisjointUnify.Sort,
    '__[''`[Module`].Kind, ''`[UnificationProblem`].Kind, ''`[QidList`,TypeListSet`,QidSet`,Type?`,ModuleExpression`,ParameterList`,GTermList`,Header`].Kind, ''`[QidList`,TypeListSet`,QidSet`,Type?`,ModuleExpression`,ParameterList`,GTermList`,Header`].Kind, ''`[FindResult`,NatList`,Bound`,Parent`].Kind],
    ''`[UnificationTriple?`].Kind, 'none.AttrSet], 'op_:_->_`[_`].[
    ''metaVariantDisjointUnify.Sort, '__[''`[Module`].Kind,
    ''`[UnificationProblem`].Kind, ''`[QidList`,TypeListSet`,QidSet`,Type?`,ModuleExpression`,ParameterList`,GTermList`,Header`].Kind, ''`[QidList`,TypeListSet`,QidSet`,Type?`,ModuleExpression`,ParameterList`,GTermList`,Header`].Kind,
    ''`[VariantOptionSet`].Kind,
    ''`[FindResult`,NatList`,Bound`,Parent`].Kind],
    ''`[UnificationTriple?`].Kind, 'special['__['id-hook[
    ''MetaLevelOpSymbol.Sort, ''metaVariantDisjointUnify.Sort], 'op-hook[
    ''shareWith.Sort, ''metaReduce.Sort, '__[''Module.Sort, ''QidList.Sort],
    ''ResultPair?.Sort]]]], 'op_:_->_`[_`].[''metaVariantMatch.Sort, '__[
    ''`[Module`].Kind, ''`[MatchingProblem`].Kind, ''`[QidList`,TypeListSet`,QidSet`,Type?`,ModuleExpression`,ParameterList`,GTermList`,Header`].Kind, ''`[QidList`,TypeListSet`,QidSet`,Type?`,ModuleExpression`,ParameterList`,GTermList`,Header`].Kind, ''`[VariantOptionSet`].Kind,
    ''`[FindResult`,NatList`,Bound`,Parent`].Kind], ''`[Substitution?`].Kind,
    'special['__['id-hook[''MetaLevelOpSymbol.Sort, ''metaVariantMatch.Sort],
    'op-hook[''shareWith.Sort, ''metaReduce.Sort, '__[''Module.Sort,
    ''QidList.Sort], ''ResultPair?.Sort]]]], 'op_:_->_`[_`].[
    ''metaVariantUnify.Sort, '__[''`[Module`].Kind,
    ''`[UnificationProblem`].Kind, ''`[QidList`,TypeListSet`,QidSet`,Type?`,ModuleExpression`,ParameterList`,GTermList`,Header`].Kind,
    ''`[FindResult`,NatList`,Bound`,Parent`].Kind,
    ''`[FindResult`,NatList`,Bound`,Parent`].Kind],
    ''`[MatchPair?`,UnificationPair?`,MatchOrUnificationPair`].Kind, 'special[
    '__['id-hook[''MetaLevelOpSymbol.Sort, ''legacyMetaVariantUnify.Sort],
    'op-hook[''shareWith.Sort, ''metaReduce.Sort, '__[''Module.Sort,
    ''QidList.Sort], ''ResultPair?.Sort]]]], 'op_:_->_`[_`].[
    ''metaVariantUnify.Sort, '__[''`[Module`].Kind,
    ''`[UnificationProblem`].Kind, ''`[QidList`,TypeListSet`,QidSet`,Type?`,ModuleExpression`,ParameterList`,GTermList`,Header`].Kind, ''`[QidList`,TypeListSet`,QidSet`,Type?`,ModuleExpression`,ParameterList`,GTermList`,Header`].Kind,
    ''`[FindResult`,NatList`,Bound`,Parent`].Kind],
    ''`[MatchPair?`,UnificationPair?`,MatchOrUnificationPair`].Kind,
    'none.AttrSet], 'op_:_->_`[_`].[''metaVariantUnify.Sort, '__[
    ''`[Module`].Kind, ''`[UnificationProblem`].Kind, ''`[QidList`,TypeListSet`,QidSet`,Type?`,ModuleExpression`,ParameterList`,GTermList`,Header`].Kind, ''`[QidList`,TypeListSet`,QidSet`,Type?`,ModuleExpression`,ParameterList`,GTermList`,Header`].Kind, ''`[VariantOptionSet`].Kind,
    ''`[FindResult`,NatList`,Bound`,Parent`].Kind],
    ''`[MatchPair?`,UnificationPair?`,MatchOrUnificationPair`].Kind, 'special[
    '__['id-hook[''MetaLevelOpSymbol.Sort, ''metaVariantUnify.Sort], 'op-hook[
    ''shareWith.Sort, ''metaReduce.Sort, '__[''Module.Sort, ''QidList.Sort],
    ''ResultPair?.Sort]]]], 'op_:_->_`[_`].[''metaXapply.Sort, '__[
    ''`[Module`].Kind, ''`[QidList`,TypeListSet`,QidSet`,Type?`,ModuleExpression`,ParameterList`,GTermList`,Header`].Kind, ''`[QidList`,TypeListSet`,QidSet`,Type?`,ModuleExpression`,ParameterList`,GTermList`,Header`].Kind,
    ''`[Substitution?`].Kind, ''`[FindResult`,NatList`,Bound`,Parent`].Kind,
    ''`[FindResult`,NatList`,Bound`,Parent`].Kind,
    ''`[FindResult`,NatList`,Bound`,Parent`].Kind], ''`[Result4Tuple?`].Kind,
    'special['__['id-hook[''MetaLevelOpSymbol.Sort, ''metaXapply.Sort],
    'op-hook[''shareWith.Sort, ''metaReduce.Sort, '__[''Module.Sort,
    ''QidList.Sort], ''ResultPair?.Sort]]]], 'op_:_->_`[_`].[''metaXmatch.Sort,
    '__[''`[Module`].Kind, ''`[QidList`,TypeListSet`,QidSet`,Type?`,ModuleExpression`,ParameterList`,GTermList`,Header`].Kind, ''`[QidList`,TypeListSet`,QidSet`,Type?`,ModuleExpression`,ParameterList`,GTermList`,Header`].Kind,
    ''`[Condition`].Kind, ''`[FindResult`,NatList`,Bound`,Parent`].Kind,
    ''`[FindResult`,NatList`,Bound`,Parent`].Kind,
    ''`[FindResult`,NatList`,Bound`,Parent`].Kind],
    ''`[MatchPair?`,UnificationPair?`,MatchOrUnificationPair`].Kind, 'special[
    '__['id-hook[''MetaLevelOpSymbol.Sort, ''metaXmatch.Sort], 'op-hook[
    ''shareWith.Sort, ''metaReduce.Sort, '__[''Module.Sort, ''QidList.Sort],
    ''ResultPair?.Sort]]]], 'op_:_->_`[_`].[''minimalSorts.Sort, '__[
    ''`[Module`].Kind, ''`[QidList`,TypeListSet`,QidSet`,Type?`,ModuleExpression`,ParameterList`,GTermList`,Header`].Kind], ''`[QidList`,TypeListSet`,QidSet`,Type?`,ModuleExpression`,ParameterList`,GTermList`,Header`].Kind, 'special['__[
    'id-hook[''MetaLevelOpSymbol.Sort, ''metaMinimalSorts.Sort], 'op-hook[
    ''shareWith.Sort, ''metaReduce.Sort, '__[''Module.Sort, ''QidList.Sort],
    ''ResultPair?.Sort]]]], 'op_:_->_`[_`].[''mixfix.Sort, 'nil.TypeList,
    ''PrintOption.Sort, 'ctor.Attr], 'op_:_->_`[_`].[''nil.Sort, 'nil.TypeList,
    ''NarrowingTrace.Sort, 'ctor.Attr], 'op_:_->_`[_`].[''nil.Sort,
    'nil.TypeList, ''Trace.Sort, 'ctor.Attr], 'op_:_->_`[_`].[''noMatch.Sort,
    'nil.TypeList, ''MatchPair?.Sort, 'ctor.Attr], 'op_:_->_`[_`].[
    ''noMatch.Sort, 'nil.TypeList, ''Substitution?.Sort, 'ctor.Attr],
    'op_:_->_`[_`].[''noMatchIncomplete.Sort, 'nil.TypeList,
    ''Substitution?.Sort, 'ctor.Attr], 'op_:_->_`[_`].[''noParse.Sort,
    ''Nat.Sort, ''ResultPair?.Sort, 'ctor.Attr], 'op_:_->_`[_`].[
    ''noStratParse.Sort, ''Nat.Sort, ''Strategy?.Sort, 'ctor.Attr],
    'op_:_->_`[_`].[''noUnifier.Sort, 'nil.TypeList, ''UnificationPair?.Sort,
    'ctor.Attr], 'op_:_->_`[_`].[''noUnifier.Sort, 'nil.TypeList,
    ''UnificationTriple?.Sort, 'ctor.Attr], 'op_:_->_`[_`].[
    ''noUnifierIncomplete.Sort, 'nil.TypeList, ''UnificationPair?.Sort,
    'ctor.Attr], 'op_:_->_`[_`].[''noUnifierIncomplete.Sort, 'nil.TypeList,
    ''UnificationTriple?.Sort, 'ctor.Attr], 'op_:_->_`[_`].[''noVariant.Sort,
    'nil.TypeList, ''Variant?.Sort, 'ctor.Attr], 'op_:_->_`[_`].[
    ''noVariantIncomplete.Sort, 'nil.TypeList, ''Variant?.Sort, 'ctor.Attr],
    'op_:_->_`[_`].[''none.Sort, 'nil.TypeList, ''Parent.Sort, 'none.AttrSet],
    'op_:_->_`[_`].[''none.Sort, 'nil.TypeList, ''PrintOptionSet.Sort,
    'ctor.Attr], 'op_:_->_`[_`].[''none.Sort, 'nil.TypeList,
    ''VariantOptionSet.Sort, 'ctor.Attr], 'op_:_->_`[_`].[''number.Sort,
    'nil.TypeList, ''PrintOption.Sort, 'ctor.Attr], 'op_:_->_`[_`].[''rat.Sort,
    'nil.TypeList, ''PrintOption.Sort, 'ctor.Attr], 'op_:_->_`[_`].[
    ''sameKind.Sort, '__[''`[Module`].Kind, ''`[QidList`,TypeListSet`,QidSet`,Type?`,ModuleExpression`,ParameterList`,GTermList`,Header`].Kind, ''`[QidList`,TypeListSet`,QidSet`,Type?`,ModuleExpression`,ParameterList`,GTermList`,Header`].Kind], ''`[Bool`].Kind, 'special['__['id-hook[''MetaLevelOpSymbol.Sort,
    ''metaSameKind.Sort], 'op-hook[''shareWith.Sort, ''metaReduce.Sort, '__[
    ''Module.Sort, ''QidList.Sort], ''ResultPair?.Sort]]]], 'op_:_->_`[_`].[
    ''sortLeq.Sort, '__[''`[Module`].Kind, ''`[QidList`,TypeListSet`,QidSet`,Type?`,ModuleExpression`,ParameterList`,GTermList`,Header`].Kind, ''`[QidList`,TypeListSet`,QidSet`,Type?`,ModuleExpression`,ParameterList`,GTermList`,Header`].Kind], ''`[Bool`].Kind, 'special['__['id-hook[''MetaLevelOpSymbol.Sort,
    ''metaSortLeq.Sort], 'op-hook[''shareWith.Sort, ''metaReduce.Sort, '__[
    ''Module.Sort, ''QidList.Sort], ''ResultPair?.Sort]]]], 'op_:_->_`[_`].[
    ''upEqs.Sort, '__[''`[QidList`,TypeListSet`,QidSet`,Type?`,ModuleExpression`,ParameterList`,GTermList`,Header`].Kind, ''`[Bool`].Kind],
    ''`[EquationSet`].Kind, 'special['__['id-hook[''MetaLevelOpSymbol.Sort,
    ''metaUpEqs.Sort], 'op-hook[''shareWith.Sort, ''metaReduce.Sort, '__[
    ''Module.Sort, ''QidList.Sort], ''ResultPair?.Sort]]]], 'op_:_->_`[_`].[
    ''upImports.Sort, ''`[QidList`,TypeListSet`,QidSet`,Type?`,ModuleExpression`,ParameterList`,GTermList`,Header`].Kind, ''`[ImportList`].Kind, 'special['__[
    'id-hook[''MetaLevelOpSymbol.Sort, ''metaUpImports.Sort], 'op-hook[
    ''shareWith.Sort, ''metaReduce.Sort, '__[''Module.Sort, ''QidList.Sort],
    ''ResultPair?.Sort]]]], 'op_:_->_`[_`].[''upMbs.Sort, '__[''`[QidList`,TypeListSet`,QidSet`,Type?`,ModuleExpression`,ParameterList`,GTermList`,Header`].Kind, ''`[Bool`].Kind], ''`[MembAxSet`].Kind, 'special['__['id-hook[
    ''MetaLevelOpSymbol.Sort, ''metaUpMbs.Sort], 'op-hook[''shareWith.Sort,
    ''metaReduce.Sort, '__[''Module.Sort, ''QidList.Sort],
    ''ResultPair?.Sort]]]], 'op_:_->_`[_`].[''upModule.Sort, '__[''`[QidList`,TypeListSet`,QidSet`,Type?`,ModuleExpression`,ParameterList`,GTermList`,Header`].Kind, ''`[Bool`].Kind], ''`[Module`].Kind, 'special['__['id-hook[
    ''MetaLevelOpSymbol.Sort, ''metaUpModule.Sort], 'op-hook[''shareWith.Sort,
    ''metaReduce.Sort, '__[''Module.Sort, ''QidList.Sort],
    ''ResultPair?.Sort]]]], 'op_:_->_`[_`].[''upOpDecls.Sort, '__[''`[QidList`,TypeListSet`,QidSet`,Type?`,ModuleExpression`,ParameterList`,GTermList`,Header`].Kind, ''`[Bool`].Kind], ''`[OpDeclSet`].Kind, 'special['__['id-hook[
    ''MetaLevelOpSymbol.Sort, ''metaUpOpDecls.Sort], 'op-hook[''shareWith.Sort,
    ''metaReduce.Sort, '__[''Module.Sort, ''QidList.Sort],
    ''ResultPair?.Sort]]]], 'op_:_->_`[_`].[''upRls.Sort, '__[''`[QidList`,TypeListSet`,QidSet`,Type?`,ModuleExpression`,ParameterList`,GTermList`,Header`].Kind, ''`[Bool`].Kind], ''`[RuleSet`].Kind, 'special['__['id-hook[
    ''MetaLevelOpSymbol.Sort, ''metaUpRls.Sort], 'op-hook[''shareWith.Sort,
    ''metaReduce.Sort, '__[''Module.Sort, ''QidList.Sort],
    ''ResultPair?.Sort]]]], 'op_:_->_`[_`].[''upSds.Sort, '__[''`[QidList`,TypeListSet`,QidSet`,Type?`,ModuleExpression`,ParameterList`,GTermList`,Header`].Kind, ''`[Bool`].Kind], ''`[StratDefSet`].Kind, 'special['__['id-hook[
    ''MetaLevelOpSymbol.Sort, ''metaUpSds.Sort], 'op-hook[''shareWith.Sort,
    ''metaReduce.Sort, '__[''Module.Sort, ''QidList.Sort],
    ''ResultPair?.Sort]]]], 'op_:_->_`[_`].[''upSorts.Sort, '__[''`[QidList`,TypeListSet`,QidSet`,Type?`,ModuleExpression`,ParameterList`,GTermList`,Header`].Kind, ''`[Bool`].Kind], ''`[QidList`,TypeListSet`,QidSet`,Type?`,ModuleExpression`,ParameterList`,GTermList`,Header`].Kind, 'special['__['id-hook[
    ''MetaLevelOpSymbol.Sort, ''metaUpSorts.Sort], 'op-hook[''shareWith.Sort,
    ''metaReduce.Sort, '__[''Module.Sort, ''QidList.Sort],
    ''ResultPair?.Sort]]]], 'op_:_->_`[_`].[''upStratDecls.Sort, '__[''`[QidList`,TypeListSet`,QidSet`,Type?`,ModuleExpression`,ParameterList`,GTermList`,Header`].Kind, ''`[Bool`].Kind], ''`[StratDeclSet`].Kind, 'special['__['id-hook[
    ''MetaLevelOpSymbol.Sort, ''metaUpStratDecls.Sort], 'op-hook[
    ''shareWith.Sort, ''metaReduce.Sort, '__[''Module.Sort, ''QidList.Sort],
    ''ResultPair?.Sort]]]], 'op_:_->_`[_`].[''upSubsortDecls.Sort, '__[''`[QidList`,TypeListSet`,QidSet`,Type?`,ModuleExpression`,ParameterList`,GTermList`,Header`].Kind, ''`[Bool`].Kind], ''`[SubsortDeclSet`].Kind, 'special['__['id-hook[
    ''MetaLevelOpSymbol.Sort, ''metaUpSubsortDecls.Sort], 'op-hook[
    ''shareWith.Sort, ''metaReduce.Sort, '__[''Module.Sort, ''QidList.Sort],
    ''ResultPair?.Sort]]]], 'op_:_->_`[_`].[''upTerm.Sort, ''Universal.Sort,
    ''Term.Sort, '__['poly['s_['0.Zero]], 'special['__['id-hook[
    ''MetaLevelOpSymbol.Sort, ''metaUpTerm.Sort], 'op-hook[''shareWith.Sort,
    ''metaReduce.Sort, '__[''Module.Sort, ''QidList.Sort],
    ''ResultPair?.Sort]]]]], 'op_:_->_`[_`].[''upView.Sort, ''`[QidList`,TypeListSet`,QidSet`,Type?`,ModuleExpression`,ParameterList`,GTermList`,Header`].Kind,
    ''`[View`].Kind, 'special['__['id-hook[''MetaLevelOpSymbol.Sort,
    ''metaUpView.Sort], 'op-hook[''shareWith.Sort, ''metaReduce.Sort, '__[
    ''Module.Sort, ''QidList.Sort], ''ResultPair?.Sort]]]], 'op_:_->_`[_`].[
    ''wellFormed.Sort, ''Module.Sort, ''Bool.Sort, 'special['__['id-hook[
    ''MetaLevelOpSymbol.Sort, ''metaWellFormedModule.Sort], 'op-hook[
    ''shareWith.Sort, ''metaReduce.Sort, '__[''Module.Sort, ''QidList.Sort],
    ''ResultPair?.Sort]]]], 'op_:_->_`[_`].[''wellFormed.Sort, '__[
    ''`[Module`].Kind, ''`[QidList`,TypeListSet`,QidSet`,Type?`,ModuleExpression`,ParameterList`,GTermList`,Header`].Kind], ''`[Bool`].Kind, 'special['__[
    'id-hook[''MetaLevelOpSymbol.Sort, ''metaWellFormedTerm.Sort], 'op-hook[
    ''shareWith.Sort, ''metaReduce.Sort, '__[''Module.Sort, ''QidList.Sort],
    ''ResultPair?.Sort]]]], 'op_:_->_`[_`].[''wellFormed.Sort, '__[
    ''`[Module`].Kind, ''`[Substitution?`].Kind], ''`[Bool`].Kind, 'special[
    '__['id-hook[''MetaLevelOpSymbol.Sort, ''metaWellFormedSubstitution.Sort],
    'op-hook[''shareWith.Sort, ''metaReduce.Sort, '__[''Module.Sort,
    ''QidList.Sort], ''ResultPair?.Sort]]]], 'op_:_->_`[_`].[
    ''with-parens.Sort, 'nil.TypeList, ''PrintOption.Sort, 'ctor.Attr],
    'op_:_->_`[_`].[''with-sorts.Sort, 'nil.TypeList, ''PrintOption.Sort,
    'ctor.Attr]], 'none.MembAxSet, '__['eq_=_`[_`].['_`[_`][
    ''$applySubstitution.Sort, '_`,_[''Q:Qid.Variable,
    ''S:Substitution.Variable]], ''Q:Qid.Variable, 'owise.Attr], 'eq_=_`[_`].[
    '_`[_`][''$applySubstitution.Sort, '_`,_[''V:Variable.Variable, '_`[_`][
    ''_;_.Sort, '_`,_[''S:Substitution.Variable, '_`[_`][''_<-_.Sort, '_`,_[
    ''V:Variable.Variable, ''T:Term.Variable]]]]]], ''T:Term.Variable,
    'none.AttrSet], 'eq_=_`[_`].['_`[_`][''$applySubstitution.Sort, '_`,_[
    '_`[_`][''_`,_.Qid, '_`,_[''T:Term.Variable, ''TL:NeTermList.Variable]],
    ''S:Substitution.Variable]], '_`[_`][''_`,_.Qid, '_`,_['_`[_`][
    ''$applySubstitution.Sort, '_`,_[''T:Term.Variable,
    ''S:Substitution.Variable]], '_`[_`][''$applySubstitution.Sort, '_`,_[
    ''TL:NeTermList.Variable, ''S:Substitution.Variable]]]], 'none.AttrSet],
    'eq_=_`[_`].['_`[_`][''$applySubstitution.Sort, '_`,_['_`[_`][''_`[_`].Qid,
    '_`,_[''Q:Qid.Variable, ''TL:NeTermList.Variable]],
    ''S:Substitution.Variable]], '_`[_`][''_`[_`].Qid, '_`,_[''Q:Qid.Variable,
    '_`[_`][''$applySubstitution.Sort, '_`,_[''TL:NeTermList.Variable,
    ''S:Substitution.Variable]]]], 'none.AttrSet], 'eq_=_`[_`].['_`[_`][
    ''applySubstitution.Sort, '_`,_[''M:Module.Variable, ''T:Term.Variable,
    ''S:Substitution.Variable]], '_`[_`][''getTerm.Sort, '_`[_`][
    ''metaNormalize.Sort, '_`,_[''M:Module.Variable, '_`[_`][
    ''$applySubstitution.Sort, '_`,_[''T:Term.Variable,
    ''S:Substitution.Variable]]]]], 'none.AttrSet], 'eq_=_`[_`].['_`[_`][
    ''getAccumulatedSubstitution.Sort, '_`[_`][''`{_`,_`,_`,_`,_`,_`,_`}.Qid,
    '_`,_[''C:Context.Variable, ''L:Qid.Variable, ''U:Substitution.Variable,
    ''UV:Qid.Variable, ''T:Term.Variable, ''T:Type.Variable,
    ''A:Substitution.Variable]]], ''A:Substitution.Variable, 'none.AttrSet],
    'eq_=_`[_`].['_`[_`][''getAccumulatedSubstitution.Sort, '_`[_`][
    ''`{_`,_`,_`,_`,_`,_`}.Qid, '_`,_[''T:Term.Variable, ''T:Type.Variable,
    ''A:Substitution.Variable, ''SV:Qid.Variable, ''U:Substitution.Variable,
    ''UV:Qid.Variable]]], ''A:Substitution.Variable, 'none.AttrSet],
    'eq_=_`[_`].['_`[_`][''getContext.Sort, '_`[_`][
    ''`{_`,_`,_`,_`,_`,_`,_`}.Qid, '_`,_[''C:Context.Variable,
    ''L:Qid.Variable, ''U:Substitution.Variable, ''UV:Qid.Variable,
    ''T:Term.Variable, ''T:Type.Variable, ''A:Substitution.Variable]]],
    ''C:Context.Variable, 'none.AttrSet], 'eq_=_`[_`].['_`[_`][
    ''getContext.Sort, '_`[_`][''`{_`,_`,_`,_`,_`,_`,_`}.Qid, '_`,_[
    ''T:Term.Variable, ''T:Type.Variable, ''C:Context.Variable,
    ''L:Qid.Variable, ''TS:Substitution.Variable, ''RS:Substitution.Variable,
    ''V:Qid.Variable]]], ''C:Context.Variable, 'none.AttrSet], 'eq_=_`[_`].[
    '_`[_`][''getContext.Sort, '_`[_`][''`{_`,_`,_`,_`}.Qid, '_`,_[
    ''T:Term.Variable, ''T:Type.Variable, ''S:Substitution.Variable,
    ''C:Context.Variable]]], ''C:Context.Variable, 'none.AttrSet],
    'eq_=_`[_`].['_`[_`][''getContext.Sort, '_`[_`][''`{_`,_`}.Qid, '_`,_[
    ''S:Substitution.Variable, ''C:Context.Variable]]], ''C:Context.Variable,
    'none.AttrSet], 'eq_=_`[_`].['_`[_`][''getInitialSubstitution.Sort,
    '_`[_`][''`{_`,_`,_`,_`,_`,_`}.Qid, '_`,_[''T:Term.Variable,
    ''T:Type.Variable, ''S:Substitution.Variable, ''T:NarrowingTrace.Variable,
    ''U:Substitution.Variable, ''UV:Qid.Variable]]], ''S:Substitution.Variable,
    'none.AttrSet], 'eq_=_`[_`].['_`[_`][''getInitialTerm.Sort, '_`[_`][
    ''`{_`,_`,_`,_`,_`,_`}.Qid, '_`,_[''T:Term.Variable, ''T:Type.Variable,
    ''S:Substitution.Variable, ''T:NarrowingTrace.Variable,
    ''U:Substitution.Variable, ''UV:Qid.Variable]]], ''T:Term.Variable,
    'none.AttrSet], 'eq_=_`[_`].['_`[_`][''getInitialType.Sort, '_`[_`][
    ''`{_`,_`,_`,_`,_`,_`}.Qid, '_`,_[''T:Term.Variable, ''T:Type.Variable,
    ''S:Substitution.Variable, ''T:NarrowingTrace.Variable,
    ''U:Substitution.Variable, ''UV:Qid.Variable]]], ''T:Type.Variable,
    'none.AttrSet], 'eq_=_`[_`].['_`[_`][''getLabel.Sort, '_`[_`][
    ''`{_`,_`,_`,_`,_`,_`,_`}.Qid, '_`,_[''C:Context.Variable,
    ''L:Qid.Variable, ''U:Substitution.Variable, ''UV:Qid.Variable,
    ''T:Term.Variable, ''T:Type.Variable, ''A:Substitution.Variable]]],
    ''L:Qid.Variable, 'none.AttrSet], 'eq_=_`[_`].['_`[_`][''getLabel.Sort,
    '_`[_`][''`{_`,_`,_`,_`,_`,_`,_`}.Qid, '_`,_[''T:Term.Variable,
    ''T:Type.Variable, ''C:Context.Variable, ''L:Qid.Variable,
    ''TS:Substitution.Variable, ''RS:Substitution.Variable,
    ''V:Qid.Variable]]], ''L:Qid.Variable, 'none.AttrSet], 'eq_=_`[_`].[
    '_`[_`][''getLhsSubstitution.Sort, '_`[_`][''`{_`,_`,_`}.Qid, '_`,_[
    ''LS:Substitution.Variable, ''RS:Substitution.Variable,
    ''V:Qid.Variable]]], ''LS:Substitution.Variable, 'none.AttrSet],
    'eq_=_`[_`].['_`[_`][''getMoreVariantsInLayerFlag.Sort, '_`[_`][
    ''`{_`,_`,_`,_`,_`}.Qid, '_`,_[''T:Term.Variable,
    ''S:Substitution.Variable, ''Q:Qid.Variable, ''P:Parent.Variable,
    ''B:Bool.Variable]]], ''B:Bool.Variable, 'none.AttrSet], 'eq_=_`[_`].[
    '_`[_`][''getParent.Sort, '_`[_`][''`{_`,_`,_`,_`,_`}.Qid, '_`,_[
    ''T:Term.Variable, ''S:Substitution.Variable, ''Q:Qid.Variable,
    ''P:Parent.Variable, ''B:Bool.Variable]]], ''P:Parent.Variable,
    'none.AttrSet], 'eq_=_`[_`].['_`[_`][''getRhsSubstitution.Sort, '_`[_`][
    ''`{_`,_`,_`}.Qid, '_`,_[''LS:Substitution.Variable,
    ''RS:Substitution.Variable, ''V:Qid.Variable]]],
    ''RS:Substitution.Variable, 'none.AttrSet], 'eq_=_`[_`].['_`[_`][
    ''getRule.Sort, '_`[_`][''`{_`,_`,_`}.Qid, '_`,_[''T:Term.Variable,
    ''T:Type.Variable, ''R:Rule.Variable]]], ''R:Rule.Variable, 'none.AttrSet],
    'eq_=_`[_`].['_`[_`][''getRuleSubstitution.Sort, '_`[_`][
    ''`{_`,_`,_`,_`,_`,_`,_`}.Qid, '_`,_[''T:Term.Variable, ''T:Type.Variable,
    ''C:Context.Variable, ''L:Qid.Variable, ''TS:Substitution.Variable,
    ''RS:Substitution.Variable, ''V:Qid.Variable]]],
    ''RS:Substitution.Variable, 'none.AttrSet], 'eq_=_`[_`].['_`[_`][
    ''getStateVariableFamily.Sort, '_`[_`][''`{_`,_`,_`,_`,_`,_`}.Qid, '_`,_[
    ''T:Term.Variable, ''T:Type.Variable, ''A:Substitution.Variable,
    ''SV:Qid.Variable, ''U:Substitution.Variable, ''UV:Qid.Variable]]],
    ''SV:Qid.Variable, 'none.AttrSet], 'eq_=_`[_`].['_`[_`][
    ''getSubstitution.Sort, '_`[_`][''`{_`,_`,_`,_`,_`}.Qid, '_`,_[
    ''T:Term.Variable, ''S:Substitution.Variable, ''Q:Qid.Variable,
    ''P:Parent.Variable, ''B:Bool.Variable]]], ''S:Substitution.Variable,
    'none.AttrSet], 'eq_=_`[_`].['_`[_`][''getSubstitution.Sort, '_`[_`][
    ''`{_`,_`,_`,_`}.Qid, '_`,_[''T:Term.Variable, ''T:Type.Variable,
    ''S:Substitution.Variable, ''C:Context.Variable]]],
    ''S:Substitution.Variable, 'none.AttrSet], 'eq_=_`[_`].['_`[_`][
    ''getSubstitution.Sort, '_`[_`][''`{_`,_`,_`}.Qid, '_`,_[''T:Term.Variable,
    ''T:Type.Variable, ''S:Substitution.Variable]]], ''S:Substitution.Variable,
    'none.AttrSet], 'eq_=_`[_`].['_`[_`][''getSubstitution.Sort, '_`[_`][
    ''`{_`,_`}.Qid, '_`,_[''S:Substitution.Variable, ''C:Context.Variable]]],
    ''S:Substitution.Variable, 'none.AttrSet], 'eq_=_`[_`].['_`[_`][
    ''getSubstitution.Sort, '_`[_`][''`{_`,_`}.Qid, '_`,_[
    ''S:Substitution.Variable, ''V:Qid.Variable]]], ''S:Substitution.Variable,
    'none.AttrSet], 'eq_=_`[_`].['_`[_`][''getTerm.Sort, '_`[_`][
    ''`{_`,_`,_`,_`,_`,_`,_`}.Qid, '_`,_[''C:Context.Variable,
    ''L:Qid.Variable, ''U:Substitution.Variable, ''UV:Qid.Variable,
    ''T:Term.Variable, ''T:Type.Variable, ''A:Substitution.Variable]]],
    ''T:Term.Variable, 'none.AttrSet], 'eq_=_`[_`].['_`[_`][''getTerm.Sort,
    '_`[_`][''`{_`,_`,_`,_`,_`,_`,_`}.Qid, '_`,_[''T:Term.Variable,
    ''T:Type.Variable, ''C:Context.Variable, ''L:Qid.Variable,
    ''TS:Substitution.Variable, ''RS:Substitution.Variable,
    ''V:Qid.Variable]]], ''T:Term.Variable, 'none.AttrSet], 'eq_=_`[_`].[
    '_`[_`][''getTerm.Sort, '_`[_`][''`{_`,_`,_`,_`,_`,_`}.Qid, '_`,_[
    ''T:Term.Variable, ''T:Type.Variable, ''A:Substitution.Variable,
    ''SV:Qid.Variable, ''U:Substitution.Variable, ''UV:Qid.Variable]]],
    ''T:Term.Variable, 'none.AttrSet], 'eq_=_`[_`].['_`[_`][''getTerm.Sort,
    '_`[_`][''`{_`,_`,_`,_`,_`}.Qid, '_`,_[''T:Term.Variable,
    ''S:Substitution.Variable, ''Q:Qid.Variable, ''P:Parent.Variable,
    ''B:Bool.Variable]]], ''T:Term.Variable, 'none.AttrSet], 'eq_=_`[_`].[
    '_`[_`][''getTerm.Sort, '_`[_`][''`{_`,_`,_`,_`}.Qid, '_`,_[
    ''T:Term.Variable, ''T:Type.Variable, ''S:Substitution.Variable,
    ''C:Context.Variable]]], ''T:Term.Variable, 'none.AttrSet], 'eq_=_`[_`].[
    '_`[_`][''getTerm.Sort, '_`[_`][''`{_`,_`,_`}.Qid, '_`,_[''T:Term.Variable,
    ''T:Type.Variable, ''R:Rule.Variable]]], ''T:Term.Variable, 'none.AttrSet],
    'eq_=_`[_`].['_`[_`][''getTerm.Sort, '_`[_`][''`{_`,_`,_`}.Qid, '_`,_[
    ''T:Term.Variable, ''T:Type.Variable, ''S:Substitution.Variable]]],
    ''T:Term.Variable, 'none.AttrSet], 'eq_=_`[_`].['_`[_`][''getTerm.Sort,
    '_`[_`][''`{_`,_`}.Qid, '_`,_[''T:Term.Variable, ''T:Type.Variable]]],
    ''T:Term.Variable, 'none.AttrSet], 'eq_=_`[_`].['_`[_`][
    ''getTermSubstitution.Sort, '_`[_`][''`{_`,_`,_`,_`,_`,_`,_`}.Qid, '_`,_[
    ''T:Term.Variable, ''T:Type.Variable, ''C:Context.Variable,
    ''L:Qid.Variable, ''TS:Substitution.Variable, ''RS:Substitution.Variable,
    ''V:Qid.Variable]]], ''TS:Substitution.Variable, 'none.AttrSet],
    'eq_=_`[_`].['_`[_`][''getTrace.Sort, '_`[_`][''`{_`,_`,_`,_`,_`,_`}.Qid,
    '_`,_[''T:Term.Variable, ''T:Type.Variable, ''S:Substitution.Variable,
    ''T:NarrowingTrace.Variable, ''U:Substitution.Variable,
    ''UV:Qid.Variable]]], ''T:NarrowingTrace.Variable, 'none.AttrSet],
    'eq_=_`[_`].['_`[_`][''getType.Sort, '_`[_`][''`{_`,_`,_`,_`,_`,_`,_`}.Qid,
    '_`,_[''C:Context.Variable, ''L:Qid.Variable, ''U:Substitution.Variable,
    ''UV:Qid.Variable, ''T:Term.Variable, ''T:Type.Variable,
    ''A:Substitution.Variable]]], ''T:Type.Variable, 'none.AttrSet],
    'eq_=_`[_`].['_`[_`][''getType.Sort, '_`[_`][''`{_`,_`,_`,_`,_`,_`,_`}.Qid,
    '_`,_[''T:Term.Variable, ''T:Type.Variable, ''C:Context.Variable,
    ''L:Qid.Variable, ''TS:Substitution.Variable, ''RS:Substitution.Variable,
    ''V:Qid.Variable]]], ''T:Type.Variable, 'none.AttrSet], 'eq_=_`[_`].[
    '_`[_`][''getType.Sort, '_`[_`][''`{_`,_`,_`,_`,_`,_`}.Qid, '_`,_[
    ''T:Term.Variable, ''T:Type.Variable, ''A:Substitution.Variable,
    ''SV:Qid.Variable, ''U:Substitution.Variable, ''UV:Qid.Variable]]],
    ''T:Type.Variable, 'none.AttrSet], 'eq_=_`[_`].['_`[_`][''getType.Sort,
    '_`[_`][''`{_`,_`,_`,_`}.Qid, '_`,_[''T:Term.Variable, ''T:Type.Variable,
    ''S:Substitution.Variable, ''C:Context.Variable]]], ''T:Type.Variable,
    'none.AttrSet], 'eq_=_`[_`].['_`[_`][''getType.Sort, '_`[_`][
    ''`{_`,_`,_`}.Qid, '_`,_[''T:Term.Variable, ''T:Type.Variable,
    ''R:Rule.Variable]]], ''T:Type.Variable, 'none.AttrSet], 'eq_=_`[_`].[
    '_`[_`][''getType.Sort, '_`[_`][''`{_`,_`,_`}.Qid, '_`,_[''T:Term.Variable,
    ''T:Type.Variable, ''S:Substitution.Variable]]], ''T:Type.Variable,
    'none.AttrSet], 'eq_=_`[_`].['_`[_`][''getType.Sort, '_`[_`][
    ''`{_`,_`}.Qid, '_`,_[''T:Term.Variable, ''T:Type.Variable]]],
    ''T:Type.Variable, 'none.AttrSet], 'eq_=_`[_`].['_`[_`][''getUnifier.Sort,
    '_`[_`][''`{_`,_`,_`,_`,_`,_`,_`}.Qid, '_`,_[''C:Context.Variable,
    ''L:Qid.Variable, ''U:Substitution.Variable, ''UV:Qid.Variable,
    ''T:Term.Variable, ''T:Type.Variable, ''A:Substitution.Variable]]],
    ''U:Substitution.Variable, 'none.AttrSet], 'eq_=_`[_`].['_`[_`][
    ''getUnifier.Sort, '_`[_`][''`{_`,_`,_`,_`,_`,_`}.Qid, '_`,_[
    ''T:Term.Variable, ''T:Type.Variable, ''A:Substitution.Variable,
    ''SV:Qid.Variable, ''U:Substitution.Variable, ''UV:Qid.Variable]]],
    ''U:Substitution.Variable, 'none.AttrSet], 'eq_=_`[_`].['_`[_`][
    ''getUnifier.Sort, '_`[_`][''`{_`,_`,_`,_`,_`,_`}.Qid, '_`,_[
    ''T:Term.Variable, ''T:Type.Variable, ''S:Substitution.Variable,
    ''T:NarrowingTrace.Variable, ''U:Substitution.Variable,
    ''UV:Qid.Variable]]], ''U:Substitution.Variable, 'none.AttrSet],
    'eq_=_`[_`].['_`[_`][''getUnifierVariableFamily.Sort, '_`[_`][
    ''`{_`,_`,_`,_`,_`,_`,_`}.Qid, '_`,_[''C:Context.Variable,
    ''L:Qid.Variable, ''U:Substitution.Variable, ''UV:Qid.Variable,
    ''T:Term.Variable, ''T:Type.Variable, ''A:Substitution.Variable]]],
    ''UV:Qid.Variable, 'none.AttrSet], 'eq_=_`[_`].['_`[_`][
    ''getUnifierVariableFamily.Sort, '_`[_`][''`{_`,_`,_`,_`,_`,_`}.Qid, '_`,_[
    ''T:Term.Variable, ''T:Type.Variable, ''A:Substitution.Variable,
    ''SV:Qid.Variable, ''U:Substitution.Variable, ''UV:Qid.Variable]]],
    ''UV:Qid.Variable, 'none.AttrSet], 'eq_=_`[_`].['_`[_`][
    ''getUnifierVariableFamily.Sort, '_`[_`][''`{_`,_`,_`,_`,_`,_`}.Qid, '_`,_[
    ''T:Term.Variable, ''T:Type.Variable, ''S:Substitution.Variable,
    ''T:NarrowingTrace.Variable, ''U:Substitution.Variable,
    ''UV:Qid.Variable]]], ''UV:Qid.Variable, 'none.AttrSet], 'eq_=_`[_`].[
    '_`[_`][''getVariableFamily.Sort, '_`[_`][''`{_`,_`,_`,_`,_`,_`,_`}.Qid,
    '_`,_[''T:Term.Variable, ''T:Type.Variable, ''C:Context.Variable,
    ''L:Qid.Variable, ''TS:Substitution.Variable, ''RS:Substitution.Variable,
    ''V:Qid.Variable]]], ''V:Qid.Variable, 'none.AttrSet], 'eq_=_`[_`].[
    '_`[_`][''getVariableFamily.Sort, '_`[_`][''`{_`,_`,_`,_`,_`}.Qid, '_`,_[
    ''T:Term.Variable, ''S:Substitution.Variable, ''Q:Qid.Variable,
    ''P:Parent.Variable, ''B:Bool.Variable]]], ''Q:Qid.Variable,
    'none.AttrSet], 'eq_=_`[_`].['_`[_`][''getVariableFamily.Sort, '_`[_`][
    ''`{_`,_`,_`}.Qid, '_`,_[''LS:Substitution.Variable,
    ''RS:Substitution.Variable, ''V:Qid.Variable]]], ''V:Qid.Variable,
    'none.AttrSet], 'eq_=_`[_`].['_`[_`][''getVariableFamily.Sort, '_`[_`][
    ''`{_`,_`}.Qid, '_`,_[''S:Substitution.Variable, ''V:Qid.Variable]]],
    ''V:Qid.Variable, 'none.AttrSet], 'eq_=_`[_`].['_`[_`][
    ''metaNarrowingApply.Sort, '_`,_[''M:Module.Variable, ''T:Term.Variable,
    ''TL:TermList.Variable, ''Q:Qid.Variable, ''N:Nat.Variable]], '_`[_`][
    ''metaNarrowingApply.Sort, '_`,_[''M:Module.Variable, ''T:Term.Variable,
    ''TL:TermList.Variable, ''Q:Qid.Variable, ''none.VariantOptionSet.Constant,
    ''N:Nat.Variable]], 'none.AttrSet], 'eq_=_`[_`].['_`[_`][
    ''metaNarrowingSearch.Sort, '_`,_[''M:Module.Variable, ''T:Term.Variable,
    ''T2:Term.Variable, ''S:Qid.Variable, ''B:Bound.Variable, ''F:Qid.Variable,
    ''N:Nat.Variable]], '_`[_`][''metaNarrowingSearch.Sort, '_`,_[
    ''M:Module.Variable, ''T:Term.Variable, ''T2:Term.Variable,
    ''S:Qid.Variable, ''B:Bound.Variable, ''F:Qid.Variable,
    ''none.VariantOptionSet.Constant, ''N:Nat.Variable]], 'none.AttrSet],
    'eq_=_`[_`].['_`[_`][''metaNarrowingSearchPath.Sort, '_`,_[
    ''M:Module.Variable, ''T:Term.Variable, ''T2:Term.Variable,
    ''S:Qid.Variable, ''B:Bound.Variable, ''F:Qid.Variable, ''N:Nat.Variable]],
    '_`[_`][''metaNarrowingSearchPath.Sort, '_`,_[''M:Module.Variable,
    ''T:Term.Variable, ''T2:Term.Variable, ''S:Qid.Variable,
    ''B:Bound.Variable, ''F:Qid.Variable, ''none.VariantOptionSet.Constant,
    ''N:Nat.Variable]], 'none.AttrSet], 'eq_=_`[_`].['_`[_`][''metaParse.Sort,
    '_`,_[''M:Module.Variable, ''Q:QidList.Variable, ''T:Type?.Variable]],
    '_`[_`][''metaParse.Sort, '_`,_[''M:Module.Variable,
    ''none.EmptyQidSet.Constant, ''Q:QidList.Variable, ''T:Type?.Variable]],
    'none.AttrSet], 'eq_=_`[_`].['_`[_`][''metaPrettyPrint.Sort, '_`,_[
    ''M:Module.Variable, ''T:Term.Variable]], '_`[_`][''metaPrettyPrint.Sort,
    '_`,_[''M:Module.Variable, ''none.EmptyQidSet.Constant, ''T:Term.Variable,
    '_`[_`][''__.Sort, '_`,_[''mixfix.PrintOption.Constant, '_`[_`][''__.Sort,
    '_`,_[''flat.PrintOption.Constant, '_`[_`][''__.Sort, '_`,_[
    ''format.PrintOption.Constant, '_`[_`][''__.Sort, '_`,_[
    ''number.PrintOption.Constant, ''rat.PrintOption.Constant]]]]]]]],
    ''none.EmptyQidSet.Constant]], 'none.AttrSet], 'eq_=_`[_`].['_`[_`][
    ''metaPrettyPrint.Sort, '_`,_[''M:Module.Variable, ''T:Term.Variable,
    ''P:PrintOptionSet.Variable]], '_`[_`][''metaPrettyPrint.Sort, '_`,_[
    ''M:Module.Variable, ''none.EmptyQidSet.Constant, ''T:Term.Variable,
    ''P:PrintOptionSet.Variable, ''none.EmptyQidSet.Constant]], 'none.AttrSet],
    'eq_=_`[_`].['_`[_`][''metaPrettyPrint.Sort, '_`,_[''M:Module.Variable,
    ''VS:VariableSet.Variable, ''T:Term.Variable,
    ''P:PrintOptionSet.Variable]], '_`[_`][''metaPrettyPrint.Sort, '_`,_[
    ''M:Module.Variable, ''VS:VariableSet.Variable, ''T:Term.Variable,
    ''P:PrintOptionSet.Variable, ''none.EmptyQidSet.Constant]], 'none.AttrSet],
    'eq_=_`[_`].['_`[_`][''metaVariantDisjointUnify.Sort, '_`,_[
    ''M:Module.Variable, ''U:UnificationProblem.Variable,
    ''TL:TermList.Variable, ''Q:Qid.Variable, ''N:Nat.Variable]], '_`[_`][
    ''metaVariantDisjointUnify.Sort, '_`,_[''M:Module.Variable,
    ''U:UnificationProblem.Variable, ''TL:TermList.Variable, ''Q:Qid.Variable,
    ''none.VariantOptionSet.Constant, ''N:Nat.Variable]], 'none.AttrSet],
    'eq_=_`[_`].['_`[_`][''metaVariantUnify.Sort, '_`,_[''M:Module.Variable,
    ''U:UnificationProblem.Variable, ''TL:TermList.Variable, ''Q:Qid.Variable,
    ''N:Nat.Variable]], '_`[_`][''metaVariantUnify.Sort, '_`,_[
    ''M:Module.Variable, ''U:UnificationProblem.Variable,
    ''TL:TermList.Variable, ''Q:Qid.Variable, ''none.VariantOptionSet.Constant,
    ''N:Nat.Variable]], 'none.AttrSet]]], 'FModule)
Bye.