DefinitionsCore, Config, allowAutoName, attrs, doc, dontTranslate, existing, none, ref, relevantArg?, reorder?, self, tgt, swapFirstTwo, RelevantArg, Reorder, ReplacementM, run, TranslateData, attrName, changeNumeral, doTranslateAttr, guessNameData, ignoreArgsAttr, isDual, translations, unfoldBoundaries?, TranslationInfo, relevantArg, reorder, translation, addTranslationAttr, applyAttributes, applyReplacementForall, applyReplacementFun, applyReplacementLambda, attrArgs, attrOption, bracketedOption, checkExistingType, copyInstanceAttribute, copyMetaData, declUnfoldSimpAuxLemmas, dontTranslateOption, elabArgStx, elabTranslationAttr, etaExpandN, findAuxDecls, findPrefixTranslation?, findTargetName, findTranslation?, findTranslationName?, getRelevantArg, guessReorder, insertTranslation, instBEqRelevantArg, beq, instInhabitedRelevantArg, default, instToMessageDataRelevantArg, existingAttributeWarning, translateExisting, translateGenerateName, translateOverwrite, translateRedundant, translateRelevantArg, translateReorder, proceedFields, proceedFieldsAux, relevantArgOption, renameBinderNames, reorderForall, reorderLambda, reorderOption, shouldTranslate, targetName, transformDeclRec, translateLemmas, translationHint, updateAndAddDecl, updateDecl, warnAttr, warnAttrCore, warnParametricAttr, Core, Core, Core, Core | 88 |