Path	Lines of Code
src/main/kotlin/org/arend/codeInsight/ArendImportOptimizer.kt	581
src/main/kotlin/org/arend/inspection/ArendInspectionConcreteVisitor.kt	197
src/main/kotlin/org/arend/intention/SplitAtomPatternIntention.kt	589
src/main/kotlin/org/arend/module/UpgradeArendLibrary.kt	82
src/main/kotlin/org/arend/quickfix/ExpectedConstructorQuickFix.kt	937
src/main/kotlin/org/arend/refactoring/changeSignature/ArendChangeSignatureProcessor.kt	226
src/main/kotlin/org/arend/refactoring/changeSignature/ArendParameterTableModel.kt	74
src/main/kotlin/org/arend/refactoring/changeSignature/entries/AbstractExpressionEntry.kt	128
src/main/kotlin/org/arend/refactoring/move/ArendLongNameCodeFragment.kt	32
src/main/kotlin/org/arend/refactoring/move/ArendMoveRefactoringProcessor.kt	591
src/main/kotlin/org/arend/scratch/ArendScratchTopPanel.kt	98
src/main/kotlin/org/arend/typechecking/BinaryFileSaver.kt	91