Path	Lines of Code
api/build.gradle.kts	4
api/src/main/java/org/arend/ext/ArendExtension.java	43
api/src/main/java/org/arend/ext/ArendPrelude.java	42
api/src/main/java/org/arend/ext/DefaultArendExtension.java	44
api/src/main/java/org/arend/ext/DefinitionContributor.java	21
api/src/main/java/org/arend/ext/DefinitionProvider.java	7
api/src/main/java/org/arend/ext/FreeBindingsModifier.java	70
api/src/main/java/org/arend/ext/LiteralTypechecker.java	21
api/src/main/java/org/arend/ext/concrete/ConcreteAppBuilder.java	12
api/src/main/java/org/arend/ext/concrete/ConcreteClassElement.java	3
api/src/main/java/org/arend/ext/concrete/ConcreteClause.java	10
api/src/main/java/org/arend/ext/concrete/ConcreteFactory.java	112
api/src/main/java/org/arend/ext/concrete/ConcreteFunctionBody.java	3
api/src/main/java/org/arend/ext/concrete/ConcreteLetClause.java	3
api/src/main/java/org/arend/ext/concrete/ConcreteLevel.java	3
api/src/main/java/org/arend/ext/concrete/ConcreteParameter.java	13
api/src/main/java/org/arend/ext/concrete/ConcreteSourceNode.java	5
api/src/main/java/org/arend/ext/concrete/definition/ClassFieldKind.java	2
api/src/main/java/org/arend/ext/concrete/definition/ConcreteConstructor.java	4
api/src/main/java/org/arend/ext/concrete/definition/ConcreteConstructorClause.java	4
api/src/main/java/org/arend/ext/concrete/definition/ConcreteDefinition.java	10
api/src/main/java/org/arend/ext/concrete/definition/ConcreteLevelParameters.java	9
api/src/main/java/org/arend/ext/concrete/definition/FunctionKind.java	26
api/src/main/java/org/arend/ext/concrete/expr/ConcreteAppExpression.java	7
api/src/main/java/org/arend/ext/concrete/expr/ConcreteArgument.java	6
api/src/main/java/org/arend/ext/concrete/expr/ConcreteCaseArgument.java	10
api/src/main/java/org/arend/ext/concrete/expr/ConcreteCaseExpression.java	12
api/src/main/java/org/arend/ext/concrete/expr/ConcreteClassExtExpression.java	6
api/src/main/java/org/arend/ext/concrete/expr/ConcreteClauses.java	8
api/src/main/java/org/arend/ext/concrete/expr/ConcreteCoclause.java	10
api/src/main/java/org/arend/ext/concrete/expr/ConcreteCoclauses.java	7
api/src/main/java/org/arend/ext/concrete/expr/ConcreteExpression.java	10
api/src/main/java/org/arend/ext/concrete/expr/ConcreteGoalExpression.java	7
api/src/main/java/org/arend/ext/concrete/expr/ConcreteHoleExpression.java	3
api/src/main/java/org/arend/ext/concrete/expr/ConcreteIncompleteExpression.java	12
api/src/main/java/org/arend/ext/concrete/expr/ConcreteLamExpression.java	8
api/src/main/java/org/arend/ext/concrete/expr/ConcreteLetExpression.java	10
api/src/main/java/org/arend/ext/concrete/expr/ConcreteNumberExpression.java	6
api/src/main/java/org/arend/ext/concrete/expr/ConcretePiExpression.java	8
api/src/main/java/org/arend/ext/concrete/expr/ConcreteReferenceExpression.java	11
api/src/main/java/org/arend/ext/concrete/expr/ConcreteSigmaExpression.java	7
api/src/main/java/org/arend/ext/concrete/expr/ConcreteStringExpression.java	5
api/src/main/java/org/arend/ext/concrete/expr/ConcreteThisExpression.java	6
api/src/main/java/org/arend/ext/concrete/expr/ConcreteTupleExpression.java	6
api/src/main/java/org/arend/ext/concrete/expr/ConcreteTypedExpression.java	6
api/src/main/java/org/arend/ext/concrete/expr/ConcreteUniverseExpression.java	7
api/src/main/java/org/arend/ext/concrete/pattern/ConcreteConstructorPattern.java	6
api/src/main/java/org/arend/ext/concrete/pattern/ConcreteNumberPattern.java	4
api/src/main/java/org/arend/ext/concrete/pattern/ConcretePattern.java	13
api/src/main/java/org/arend/ext/concrete/pattern/ConcreteReferencePattern.java	6
api/src/main/java/org/arend/ext/core/body/CoreBody.java	3
api/src/main/java/org/arend/ext/core/body/CoreElimBody.java	8
api/src/main/java/org/arend/ext/core/body/CoreElimClause.java	11
api/src/main/java/org/arend/ext/core/body/CoreExpressionPattern.java	5
api/src/main/java/org/arend/ext/core/body/CoreIntervalElim.java	13
api/src/main/java/org/arend/ext/core/body/CorePattern.java	59
api/src/main/java/org/arend/ext/core/context/CoreBinding.java	8
api/src/main/java/org/arend/ext/core/context/CoreEvaluatingBinding.java	6
api/src/main/java/org/arend/ext/core/context/CoreInferenceVariable.java	5
api/src/main/java/org/arend/ext/core/context/CoreParameter.java	16
api/src/main/java/org/arend/ext/core/context/CoreParameterBuilder.java	15
api/src/main/java/org/arend/ext/core/definition/CoreClassDefinition.java	28
api/src/main/java/org/arend/ext/core/definition/CoreClassField.java	12
api/src/main/java/org/arend/ext/core/definition/CoreConstructor.java	11
api/src/main/java/org/arend/ext/core/definition/CoreDataDefinition.java	13
api/src/main/java/org/arend/ext/core/definition/CoreDefinition.java	12
api/src/main/java/org/arend/ext/core/definition/CoreFunctionDefinition.java	13
api/src/main/java/org/arend/ext/core/expr/AbstractedExpression.java	9
api/src/main/java/org/arend/ext/core/expr/BaseCoreExpressionVisitor.java	113
api/src/main/java/org/arend/ext/core/expr/CoreAbsExpression.java	8
api/src/main/java/org/arend/ext/core/expr/CoreAppExpression.java	7
api/src/main/java/org/arend/ext/core/expr/CoreArrayExpression.java	13
api/src/main/java/org/arend/ext/core/expr/CoreAtExpression.java	6
api/src/main/java/org/arend/ext/core/expr/CoreBoxExpression.java	4
api/src/main/java/org/arend/ext/core/expr/CoreCaseExpression.java	14
api/src/main/java/org/arend/ext/core/expr/CoreClassCallExpression.java	27
api/src/main/java/org/arend/ext/core/expr/CoreConCallExpression.java	10
api/src/main/java/org/arend/ext/core/expr/CoreDataCallExpression.java	13
api/src/main/java/org/arend/ext/core/expr/CoreDefCallExpression.java	11
api/src/main/java/org/arend/ext/core/expr/CoreErrorExpression.java	4
api/src/main/java/org/arend/ext/core/expr/CoreExpression.java	43
api/src/main/java/org/arend/ext/core/expr/CoreExpressionVisitor.java	31
api/src/main/java/org/arend/ext/core/expr/CoreFieldCallExpression.java	7
api/src/main/java/org/arend/ext/core/expr/CoreFunCallExpression.java	10
api/src/main/java/org/arend/ext/core/expr/CoreInferenceReferenceExpression.java	6
api/src/main/java/org/arend/ext/core/expr/CoreIntegerExpression.java	6
api/src/main/java/org/arend/ext/core/expr/CoreLamExpression.java	9
api/src/main/java/org/arend/ext/core/expr/CoreLetExpression.java	8
api/src/main/java/org/arend/ext/core/expr/CoreNewExpression.java	8
api/src/main/java/org/arend/ext/core/expr/CorePEvalExpression.java	5
api/src/main/java/org/arend/ext/core/expr/CorePathExpression.java	8
api/src/main/java/org/arend/ext/core/expr/CorePiExpression.java	9
api/src/main/java/org/arend/ext/core/expr/CoreProjExpression.java	6
api/src/main/java/org/arend/ext/core/expr/CoreReferenceExpression.java	6
api/src/main/java/org/arend/ext/core/expr/CoreSigmaExpression.java	6
api/src/main/java/org/arend/ext/core/expr/CoreStringExpression.java	5
api/src/main/java/org/arend/ext/core/expr/CoreTupleExpression.java	7
api/src/main/java/org/arend/ext/core/expr/CoreTypeConstructorExpression.java	16
api/src/main/java/org/arend/ext/core/expr/CoreTypeDestructorExpression.java	7
api/src/main/java/org/arend/ext/core/expr/CoreUniverseExpression.java	6
api/src/main/java/org/arend/ext/core/expr/UncheckedExpression.java	32
api/src/main/java/org/arend/ext/core/level/CoreLevel.java	8
api/src/main/java/org/arend/ext/core/level/CoreLevels.java	6
api/src/main/java/org/arend/ext/core/level/CoreSort.java	8
api/src/main/java/org/arend/ext/core/level/LevelSubstitution.java	21
api/src/main/java/org/arend/ext/core/ops/CMP.java	9
api/src/main/java/org/arend/ext/core/ops/ExpressionMapper.java	8
api/src/main/java/org/arend/ext/core/ops/NormalizationMode.java	2
api/src/main/java/org/arend/ext/core/ops/SubstitutionPair.java	11
api/src/main/java/org/arend/ext/dependency/ArendDependencyProvider.java	9
api/src/main/java/org/arend/ext/dependency/Dependency.java	11
api/src/main/java/org/arend/ext/error/ArgInferenceError.java	50
api/src/main/java/org/arend/ext/error/ArgumentExplicitnessError.java	8
api/src/main/java/org/arend/ext/error/ErrorReporter.java	4
api/src/main/java/org/arend/ext/error/FieldsImplementationError.java	24
api/src/main/java/org/arend/ext/error/GeneralError.java	101
api/src/main/java/org/arend/ext/error/IgnoredLevelsError.java	9
api/src/main/java/org/arend/ext/error/InstanceInferenceError.java	52
api/src/main/java/org/arend/ext/error/ListErrorReporter.java	24
api/src/main/java/org/arend/ext/error/LocalError.java	25
api/src/main/java/org/arend/ext/error/MetaException.java	7
api/src/main/java/org/arend/ext/error/MissingArgumentsError.java	10
api/src/main/java/org/arend/ext/error/MissingClausesError.java	58
api/src/main/java/org/arend/ext/error/NameResolverError.java	27
api/src/main/java/org/arend/ext/error/RedundantClauseError.java	8
api/src/main/java/org/arend/ext/error/RedundantCoclauseError.java	8
api/src/main/java/org/arend/ext/error/SourceInfo.java	13
api/src/main/java/org/arend/ext/error/SourceInfoReference.java	53
api/src/main/java/org/arend/ext/error/TypeMismatchError.java	29
api/src/main/java/org/arend/ext/error/TypecheckingError.java	32
api/src/main/java/org/arend/ext/error/quickFix/ErrorQuickFix.java	11
api/src/main/java/org/arend/ext/error/quickFix/LazyErrorQuickFix.java	24
api/src/main/java/org/arend/ext/error/quickFix/RemoveErrorQuickFix.java	18
api/src/main/java/org/arend/ext/instance/InstanceSearchParameters.java	27
api/src/main/java/org/arend/ext/instance/SubclassSearchParameters.java	13
api/src/main/java/org/arend/ext/module/LongName.java	59
api/src/main/java/org/arend/ext/module/ModulePath.java	15
api/src/main/java/org/arend/ext/prettifier/ExpressionPrettifier.java	8
api/src/main/java/org/arend/ext/prettyprinting/DefinitionRenamer.java	7
api/src/main/java/org/arend/ext/prettyprinting/PrettyPrintable.java	9
api/src/main/java/org/arend/ext/prettyprinting/PrettyPrinterConfig.java	35
api/src/main/java/org/arend/ext/prettyprinting/PrettyPrinterConfigImpl.java	36
api/src/main/java/org/arend/ext/prettyprinting/PrettyPrinterFlag.java	15
api/src/main/java/org/arend/ext/prettyprinting/doc/CachingDoc.java	67
api/src/main/java/org/arend/ext/prettyprinting/doc/Doc.java	31
api/src/main/java/org/arend/ext/prettyprinting/doc/DocFactory.java	156
api/src/main/java/org/arend/ext/prettyprinting/doc/DocStringBuilder.java	59
api/src/main/java/org/arend/ext/prettyprinting/doc/DocVisitor.java	14
api/src/main/java/org/arend/ext/prettyprinting/doc/HListDoc.java	32
api/src/main/java/org/arend/ext/prettyprinting/doc/HangDoc.java	96
api/src/main/java/org/arend/ext/prettyprinting/doc/LineDoc.java	25
api/src/main/java/org/arend/ext/prettyprinting/doc/LineDocVisitor.java	25
api/src/main/java/org/arend/ext/prettyprinting/doc/PPDoc.java	20
api/src/main/java/org/arend/ext/prettyprinting/doc/PatternDoc.java	35
api/src/main/java/org/arend/ext/prettyprinting/doc/ReferenceDoc.java	24
api/src/main/java/org/arend/ext/prettyprinting/doc/TermDoc.java	48
api/src/main/java/org/arend/ext/prettyprinting/doc/TermLineDoc.java	44
api/src/main/java/org/arend/ext/prettyprinting/doc/TermTextDoc.java	17
api/src/main/java/org/arend/ext/prettyprinting/doc/TextDoc.java	22
api/src/main/java/org/arend/ext/prettyprinting/doc/VListDoc.java	80
api/src/main/java/org/arend/ext/reference/ArendRef.java	14
api/src/main/java/org/arend/ext/reference/DataContainer.java	5
api/src/main/java/org/arend/ext/reference/ExpressionResolver.java	20
api/src/main/java/org/arend/ext/reference/MetaRef.java	8
api/src/main/java/org/arend/ext/reference/Precedence.java	45
api/src/main/java/org/arend/ext/serialization/ArendDeserializer.java	7
api/src/main/java/org/arend/ext/serialization/ArendSerializer.java	6
api/src/main/java/org/arend/ext/serialization/DeserializationException.java	6
api/src/main/java/org/arend/ext/serialization/SerializableKey.java	13
api/src/main/java/org/arend/ext/serialization/SerializableKeyRegistry.java	6
api/src/main/java/org/arend/ext/typechecking/BaseContextData.java	10
api/src/main/java/org/arend/ext/typechecking/BaseMetaDefinition.java	10
api/src/main/java/org/arend/ext/typechecking/ContextData.java	23
api/src/main/java/org/arend/ext/typechecking/ContextDataChecker.java	115
api/src/main/java/org/arend/ext/typechecking/DefermentChecker.java	7
api/src/main/java/org/arend/ext/typechecking/DeferredMetaDefinition.java	62
api/src/main/java/org/arend/ext/typechecking/DefinitionListener.java	7
api/src/main/java/org/arend/ext/typechecking/ExpressionTypechecker.java	80
api/src/main/java/org/arend/ext/typechecking/GoalSolver.java	25
api/src/main/java/org/arend/ext/typechecking/InteractiveGoalSolver.java	22
api/src/main/java/org/arend/ext/typechecking/LevelProver.java	9
api/src/main/java/org/arend/ext/typechecking/ListDefinitionListener.java	55
api/src/main/java/org/arend/ext/typechecking/MetaDefinition.java	30
api/src/main/java/org/arend/ext/typechecking/MetaResolver.java	16
api/src/main/java/org/arend/ext/typechecking/PatternContextData.java	6
api/src/main/java/org/arend/ext/typechecking/TypedExpression.java	12
api/src/main/java/org/arend/ext/ui/ArendConsole.java	16
api/src/main/java/org/arend/ext/ui/ArendQuery.java	5
api/src/main/java/org/arend/ext/ui/ArendSession.java	16
api/src/main/java/org/arend/ext/ui/ArendUI.java	9
api/src/main/java/org/arend/ext/userData/Key.java	17
api/src/main/java/org/arend/ext/userData/UserDataHolder.java	7
api/src/main/java/org/arend/ext/util/Pair.java	31
api/src/main/java/org/arend/ext/util/StringUtils.java	20
api/src/main/java/org/arend/ext/util/Wrapper.java	15
api/src/main/java/org/arend/ext/variable/Variable.java	5
api/src/main/java/org/arend/ext/variable/VariableImpl.java	11
api/src/main/java/org/arend/ext/variable/VariableRenamer.java	6
api/src/main/java/org/arend/ext/variable/VariableRenamerFactory.java	13
base/build.gradle.kts	26
base/src/main/java/org/arend/core/constructor/ArrayConstructor.java	52
base/src/main/java/org/arend/core/constructor/ClassConstructor.java	69
base/src/main/java/org/arend/core/constructor/IdpConstructor.java	32
base/src/main/java/org/arend/core/constructor/SingleConstructor.java	22
base/src/main/java/org/arend/core/constructor/TupleConstructor.java	41
base/src/main/java/org/arend/core/context/LinkList.java	45
base/src/main/java/org/arend/core/context/Utils.java	103
base/src/main/java/org/arend/core/context/binding/Binding.java	31
base/src/main/java/org/arend/core/context/binding/EvaluatingBinding.java	7
base/src/main/java/org/arend/core/context/binding/LevelVariable.java	91
base/src/main/java/org/arend/core/context/binding/NamedBinding.java	11
base/src/main/java/org/arend/core/context/binding/ParamLevelVariable.java	52
base/src/main/java/org/arend/core/context/binding/PersistentEvaluatingBinding.java	31
base/src/main/java/org/arend/core/context/binding/TypedBinding.java	26
base/src/main/java/org/arend/core/context/binding/TypedEvaluatingBinding.java	26
base/src/main/java/org/arend/core/context/binding/inference/DerivedInferenceVariable.java	24
base/src/main/java/org/arend/core/context/binding/inference/ExpressionInferenceVariable.java	39
base/src/main/java/org/arend/core/context/binding/inference/FunctionInferenceVariable.java	33
base/src/main/java/org/arend/core/context/binding/inference/InferenceLevelVariable.java	40
base/src/main/java/org/arend/core/context/binding/inference/InferenceVariable.java	107
base/src/main/java/org/arend/core/context/binding/inference/LambdaInferenceVariable.java	29
base/src/main/java/org/arend/core/context/binding/inference/MetaInferenceVariable.java	33
base/src/main/java/org/arend/core/context/binding/inference/TypeClassInferenceVariable.java	51
base/src/main/java/org/arend/core/context/binding/inference/UserInferenceVariable.java	27
base/src/main/java/org/arend/core/context/param/DependentLink.java	173
base/src/main/java/org/arend/core/context/param/EmptyDependentLink.java	71
base/src/main/java/org/arend/core/context/param/PropertyTypedDependentLink.java	31
base/src/main/java/org/arend/core/context/param/SingleDependentLink.java	9
base/src/main/java/org/arend/core/context/param/TypedDependentLink.java	110
base/src/main/java/org/arend/core/context/param/TypedSingleDependentLink.java	46
base/src/main/java/org/arend/core/context/param/UntypedDependentLink.java	107
base/src/main/java/org/arend/core/context/param/UntypedSingleDependentLink.java	53
base/src/main/java/org/arend/core/context/param/UnusedIntervalDependentLink.java	11
base/src/main/java/org/arend/core/definition/CallableDefinition.java	11
base/src/main/java/org/arend/core/definition/ClassDefinition.java	432
base/src/main/java/org/arend/core/definition/ClassField.java	148
base/src/main/java/org/arend/core/definition/CoerceData.java	305
base/src/main/java/org/arend/core/definition/Constructor.java	220
base/src/main/java/org/arend/core/definition/DConstructor.java	72
base/src/main/java/org/arend/core/definition/DataDefinition.java	202
base/src/main/java/org/arend/core/definition/Definition.java	252
base/src/main/java/org/arend/core/definition/DefinitionVisitor.java	9
base/src/main/java/org/arend/core/definition/Function.java	5
base/src/main/java/org/arend/core/definition/FunctionDefinition.java	196
base/src/main/java/org/arend/core/definition/MetaTopDefinition.java	76
base/src/main/java/org/arend/core/definition/ParametersLevel.java	48
base/src/main/java/org/arend/core/definition/ParametersLevels.java	22
base/src/main/java/org/arend/core/definition/TopLevelDefinition.java	92
base/src/main/java/org/arend/core/definition/UniverseKind.java	7
base/src/main/java/org/arend/core/elimtree/Body.java	9
base/src/main/java/org/arend/core/elimtree/BranchElimTree.java	304
base/src/main/java/org/arend/core/elimtree/BranchKey.java	7
base/src/main/java/org/arend/core/elimtree/ElimBody.java	152
base/src/main/java/org/arend/core/elimtree/ElimClause.java	37
base/src/main/java/org/arend/core/elimtree/ElimTree.java	16
base/src/main/java/org/arend/core/elimtree/IntervalElim.java	115
base/src/main/java/org/arend/core/elimtree/LeafElimTree.java	35
base/src/main/java/org/arend/core/expr/AbsExpression.java	32
base/src/main/java/org/arend/core/expr/AppExpression.java	84
base/src/main/java/org/arend/core/expr/ArrayExpression.java	170
base/src/main/java/org/arend/core/expr/AtExpression.java	97
base/src/main/java/org/arend/core/expr/BigIntegerExpression.java	94
base/src/main/java/org/arend/core/expr/BoxExpression.java	58
base/src/main/java/org/arend/core/expr/CaseExpression.java	86
base/src/main/java/org/arend/core/expr/ClassCallExpression.java	509
base/src/main/java/org/arend/core/expr/ConCallExpression.java	93
base/src/main/java/org/arend/core/expr/DataCallExpression.java	211
base/src/main/java/org/arend/core/expr/DefCallExpression.java	84
base/src/main/java/org/arend/core/expr/ErrorExpression.java	148
base/src/main/java/org/arend/core/expr/ErrorWithConcreteExpression.java	8
base/src/main/java/org/arend/core/expr/Expression.java	632
base/src/main/java/org/arend/core/expr/ExpressionFactory.java	90
base/src/main/java/org/arend/core/expr/FieldCallExpression.java	108
base/src/main/java/org/arend/core/expr/FunCallExpression.java	131
base/src/main/java/org/arend/core/expr/GoalErrorExpression.java	17
base/src/main/java/org/arend/core/expr/InferenceReferenceExpression.java	126
base/src/main/java/org/arend/core/expr/IntegerExpression.java	51
base/src/main/java/org/arend/core/expr/LamExpression.java	81
base/src/main/java/org/arend/core/expr/LetExpression.java	114
base/src/main/java/org/arend/core/expr/LeveledDefCallExpression.java	32
base/src/main/java/org/arend/core/expr/NewExpression.java	110
base/src/main/java/org/arend/core/expr/OfTypeExpression.java	79
base/src/main/java/org/arend/core/expr/PEvalExpression.java	72
base/src/main/java/org/arend/core/expr/PathExpression.java	58
base/src/main/java/org/arend/core/expr/PiExpression.java	179
base/src/main/java/org/arend/core/expr/ProjExpression.java	58
base/src/main/java/org/arend/core/expr/ReferenceExpression.java	47
base/src/main/java/org/arend/core/expr/SigmaExpression.java	79
base/src/main/java/org/arend/core/expr/SmallIntegerExpression.java	140
base/src/main/java/org/arend/core/expr/StringExpression.java	37
base/src/main/java/org/arend/core/expr/SubstExpression.java	148
base/src/main/java/org/arend/core/expr/TupleExpression.java	46
base/src/main/java/org/arend/core/expr/TypeConstructorExpression.java	167
base/src/main/java/org/arend/core/expr/TypeDestructorExpression.java	72
base/src/main/java/org/arend/core/expr/UniverseExpression.java	77
base/src/main/java/org/arend/core/expr/let/HaveClause.java	40
base/src/main/java/org/arend/core/expr/let/LetClause.java	11
base/src/main/java/org/arend/core/expr/let/LetClausePattern.java	9
base/src/main/java/org/arend/core/expr/let/NameLetClausePattern.java	27
base/src/main/java/org/arend/core/expr/let/RecordLetClausePattern.java	14
base/src/main/java/org/arend/core/expr/let/TupleLetClausePattern.java	24
base/src/main/java/org/arend/core/expr/let/TypedHaveClause.java	14
base/src/main/java/org/arend/core/expr/let/TypedLetClause.java	17
base/src/main/java/org/arend/core/expr/type/Type.java	21
base/src/main/java/org/arend/core/expr/type/TypeExpression.java	46
base/src/main/java/org/arend/core/expr/visitor/BaseExpressionVisitor.java	25
base/src/main/java/org/arend/core/expr/visitor/CompareVisitor.java	2131
base/src/main/java/org/arend/core/expr/visitor/ElimBindingVisitor.java	459
base/src/main/java/org/arend/core/expr/visitor/ExpressionTransformer.java	179
base/src/main/java/org/arend/core/expr/visitor/ExpressionVisitor.java	33
base/src/main/java/org/arend/core/expr/visitor/ExpressionVisitor2.java	33
base/src/main/java/org/arend/core/expr/visitor/FieldCallSubstVisitor.java	40
base/src/main/java/org/arend/core/expr/visitor/FieldsCollector.java	136
base/src/main/java/org/arend/core/expr/visitor/FindBindingVisitor.java	157
base/src/main/java/org/arend/core/expr/visitor/FindMissingBindingVisitor.java	165
base/src/main/java/org/arend/core/expr/visitor/FreeVariablesCollector.java	90
base/src/main/java/org/arend/core/expr/visitor/GetTypeVisitor.java	458
base/src/main/java/org/arend/core/expr/visitor/GoodThisParametersVisitor.java	170
base/src/main/java/org/arend/core/expr/visitor/NormalizeVisitor.java	1011
base/src/main/java/org/arend/core/expr/visitor/NormalizingFindBindingVisitor.java	187
base/src/main/java/org/arend/core/expr/visitor/RecreateExpressionVisitor.java	273
base/src/main/java/org/arend/core/expr/visitor/SizeExpressionVisitor.java	154
base/src/main/java/org/arend/core/expr/visitor/StripVisitor.java	321
base/src/main/java/org/arend/core/expr/visitor/VoidExpressionVisitor.java	297
base/src/main/java/org/arend/core/pattern/BindingPattern.java	114
base/src/main/java/org/arend/core/pattern/ConstructorExpressionPattern.java	444
base/src/main/java/org/arend/core/pattern/ConstructorPattern.java	139
base/src/main/java/org/arend/core/pattern/EmptyPattern.java	98
base/src/main/java/org/arend/core/pattern/ExpressionPattern.java	91
base/src/main/java/org/arend/core/pattern/Pattern.java	137
base/src/main/java/org/arend/core/sort/Level.java	169
base/src/main/java/org/arend/core/sort/Sort.java	119
base/src/main/java/org/arend/core/subst/ExprSubstitution.java	116
base/src/main/java/org/arend/core/subst/InPlaceLevelSubstVisitor.java	116
base/src/main/java/org/arend/core/subst/InferenceVariableSolveVisitor.java	22
base/src/main/java/org/arend/core/subst/LevelPair.java	85
base/src/main/java/org/arend/core/subst/Levels.java	56
base/src/main/java/org/arend/core/subst/ListLevels.java	72
base/src/main/java/org/arend/core/subst/SimpleLevelSubstitution.java	31
base/src/main/java/org/arend/core/subst/SubstVisitor.java	306
base/src/main/java/org/arend/core/subst/UnfoldVisitor.java	94
base/src/main/java/org/arend/error/CountingErrorReporter.java	40
base/src/main/java/org/arend/error/DummyErrorReporter.java	10
base/src/main/java/org/arend/error/ParsingError.java	51
base/src/main/java/org/arend/error/SourcePosition.java	20
base/src/main/java/org/arend/ext/prettifier/MergingExpressionPrettifier.java	20
base/src/main/java/org/arend/extImpl/AbstractedDependentLinkType.java	44
base/src/main/java/org/arend/extImpl/AbstractedExpressionImpl.java	89
base/src/main/java/org/arend/extImpl/ArendDependencyProviderImpl.java	76
base/src/main/java/org/arend/extImpl/BaseContextDataImpl.java	20
base/src/main/java/org/arend/extImpl/ConcreteAppBuilderImpl.java	56
base/src/main/java/org/arend/extImpl/ConcreteFactoryImpl.java	803
base/src/main/java/org/arend/extImpl/ContextDataImpl.java	75
base/src/main/java/org/arend/extImpl/CoreParameterBuilderImpl.java	72
base/src/main/java/org/arend/extImpl/DefinitionContributorImpl.java	106
base/src/main/java/org/arend/extImpl/DefinitionProviderImpl.java	14
base/src/main/java/org/arend/extImpl/DefinitionRequester.java	7
base/src/main/java/org/arend/extImpl/Disableable.java	23
base/src/main/java/org/arend/extImpl/SerializableKeyRegistryImpl.java	33
base/src/main/java/org/arend/extImpl/UncheckedExpressionImpl.java	102
base/src/main/java/org/arend/extImpl/VariableRenamerFactoryImpl.java	20
base/src/main/java/org/arend/extImpl/definitionRenamer/CachingDefinitionRenamer.java	22
base/src/main/java/org/arend/extImpl/definitionRenamer/ConflictDefinitionRenamer.java	81
base/src/main/java/org/arend/extImpl/definitionRenamer/PatternContextDataImpl.java	18
base/src/main/java/org/arend/extImpl/definitionRenamer/ScopeDefinitionRenamer.java	60
base/src/main/java/org/arend/extImpl/ui/BaseSession.java	17
base/src/main/java/org/arend/extImpl/ui/DelegateQuery.java	14
base/src/main/java/org/arend/extImpl/ui/SimpleQuery.java	14
base/src/main/java/org/arend/extImpl/userData/UserDataHolderImpl.java	49
base/src/main/java/org/arend/library/BaseLibrary.java	140
base/src/main/java/org/arend/library/Library.java	42
base/src/main/java/org/arend/library/LibraryConfig.java	114
base/src/main/java/org/arend/library/LibraryDependency.java	29
base/src/main/java/org/arend/library/LibraryHeader.java	67
base/src/main/java/org/arend/library/LibraryManager.java	221
base/src/main/java/org/arend/library/PersistableSourceLibrary.java	68
base/src/main/java/org/arend/library/SourceLibrary.java	247
base/src/main/java/org/arend/library/UnmodifiableSourceLibrary.java	57
base/src/main/java/org/arend/library/classLoader/ClassLoaderDelegate.java	4
base/src/main/java/org/arend/library/classLoader/FileClassLoaderDelegate.java	24
base/src/main/java/org/arend/library/classLoader/MultiClassLoader.java	26
base/src/main/java/org/arend/library/classLoader/ZipClassLoaderDelegate.java	42
base/src/main/java/org/arend/library/error/LibraryError.java	61
base/src/main/java/org/arend/library/error/LibraryIOError.java	27
base/src/main/java/org/arend/library/error/ModuleInSeveralLibrariesError.java	28
base/src/main/java/org/arend/library/error/MultipleLibraries.java	27
base/src/main/java/org/arend/library/error/PartialModuleError.java	15
base/src/main/java/org/arend/library/resolver/LibraryResolver.java	7
base/src/main/java/org/arend/module/ModuleLocation.java	52
base/src/main/java/org/arend/module/ModuleRegistry.java	8
base/src/main/java/org/arend/module/error/DeserializationError.java	24
base/src/main/java/org/arend/module/error/ExceptionError.java	43
base/src/main/java/org/arend/module/error/ModuleNotFoundError.java	27
base/src/main/java/org/arend/module/scopeprovider/CachingModuleScopeProvider.java	39
base/src/main/java/org/arend/module/scopeprovider/EmptyModuleScopeProvider.java	14
base/src/main/java/org/arend/module/scopeprovider/ModuleScopeProvider.java	9
base/src/main/java/org/arend/module/scopeprovider/SimpleModuleScopeProvider.java	47
base/src/main/java/org/arend/module/serialization/CallTargetIndexProvider.java	7
base/src/main/java/org/arend/module/serialization/CallTargetProvider.java	17
base/src/main/java/org/arend/module/serialization/DefinitionDeserialization.java	486
base/src/main/java/org/arend/module/serialization/DefinitionSerialization.java	461
base/src/main/java/org/arend/module/serialization/ExpressionDeserialization.java	506
base/src/main/java/org/arend/module/serialization/ExpressionSerialization.java	648
base/src/main/java/org/arend/module/serialization/ModuleDeserialization.java	378
base/src/main/java/org/arend/module/serialization/ModuleSerialization.java	117
base/src/main/java/org/arend/module/serialization/SimpleCallTargetIndexProvider.java	20
base/src/main/java/org/arend/module/serialization/SimpleCallTargetProvider.java	55
base/src/main/java/org/arend/naming/binOp/BinOpEngine.java	14
base/src/main/java/org/arend/naming/binOp/BinOpParser.java	123
base/src/main/java/org/arend/naming/binOp/ExpressionBinOpEngine.java	51
base/src/main/java/org/arend/naming/binOp/MetaBinOpParser.java	186
base/src/main/java/org/arend/naming/binOp/PatternBinOpEngine.java	73
base/src/main/java/org/arend/naming/error/DuplicateNameError.java	43
base/src/main/java/org/arend/naming/error/DuplicateOpenedNameError.java	23
base/src/main/java/org/arend/naming/error/ExistingOpenedNameError.java	21
base/src/main/java/org/arend/naming/error/NotInScopeError.java	34
base/src/main/java/org/arend/naming/error/PrecedenceError.java	27
base/src/main/java/org/arend/naming/error/ReferenceError.java	40
base/src/main/java/org/arend/naming/reference/AbstractedReferable.java	22
base/src/main/java/org/arend/naming/reference/AliasReferable.java	31
base/src/main/java/org/arend/naming/reference/ClassReferable.java	139
base/src/main/java/org/arend/naming/reference/ClassReferableImpl.java	48
base/src/main/java/org/arend/naming/reference/ConcreteClassFieldReferable.java	22
base/src/main/java/org/arend/naming/reference/ConcreteClassReferable.java	69
base/src/main/java/org/arend/naming/reference/ConcreteLocatedReferable.java	61
base/src/main/java/org/arend/naming/reference/ConcreteResolvedClassReferable.java	89
base/src/main/java/org/arend/naming/reference/CoreReferable.java	24
base/src/main/java/org/arend/naming/reference/DataLevelReferable.java	29
base/src/main/java/org/arend/naming/reference/DataLocalReferable.java	33
base/src/main/java/org/arend/naming/reference/EmptyLocatedReferable.java	33
base/src/main/java/org/arend/naming/reference/ErrorReference.java	44
base/src/main/java/org/arend/naming/reference/FakeLocalReferable.java	6
base/src/main/java/org/arend/naming/reference/FieldReferable.java	12
base/src/main/java/org/arend/naming/reference/FieldReferableImpl.java	29
base/src/main/java/org/arend/naming/reference/FullModuleReferable.java	32
base/src/main/java/org/arend/naming/reference/GeneratedLocalReferable.java	6
base/src/main/java/org/arend/naming/reference/GlobalReferable.java	63
base/src/main/java/org/arend/naming/reference/GlobalReferableImpl.java	23
base/src/main/java/org/arend/naming/reference/HiddenLocalReferable.java	10
base/src/main/java/org/arend/naming/reference/InternalConcreteLocatedReferable.java	21
base/src/main/java/org/arend/naming/reference/LevelDefinition.java	29
base/src/main/java/org/arend/naming/reference/LevelReferable.java	4
base/src/main/java/org/arend/naming/reference/LocalReferable.java	16
base/src/main/java/org/arend/naming/reference/LocatedReferable.java	59
base/src/main/java/org/arend/naming/reference/LocatedReferableImpl.java	81
base/src/main/java/org/arend/naming/reference/LongUnresolvedReference.java	273
base/src/main/java/org/arend/naming/reference/MetaReferable.java	122
base/src/main/java/org/arend/naming/reference/ModuleReferable.java	41
base/src/main/java/org/arend/naming/reference/NamedUnresolvedReference.java	82
base/src/main/java/org/arend/naming/reference/Parameter.java	7
base/src/main/java/org/arend/naming/reference/ParameterReferable.java	47
base/src/main/java/org/arend/naming/reference/RedirectingReferable.java	28
base/src/main/java/org/arend/naming/reference/RedirectingReferableImpl.java	37
base/src/main/java/org/arend/naming/reference/Referable.java	27
base/src/main/java/org/arend/naming/reference/Reference.java	6
base/src/main/java/org/arend/naming/reference/SimpleInternalReferable.java	18
base/src/main/java/org/arend/naming/reference/TCDefReferable.java	77
base/src/main/java/org/arend/naming/reference/TCFieldReferable.java	3
base/src/main/java/org/arend/naming/reference/TCLevelReferable.java	55
base/src/main/java/org/arend/naming/reference/TCReferable.java	13
base/src/main/java/org/arend/naming/reference/TypedLocatedReferable.java	25
base/src/main/java/org/arend/naming/reference/TypedRedirectingReferable.java	41
base/src/main/java/org/arend/naming/reference/TypedReferable.java	11
base/src/main/java/org/arend/naming/reference/UnresolvedReference.java	23
base/src/main/java/org/arend/naming/reference/converter/IdReferableConverter.java	16
base/src/main/java/org/arend/naming/reference/converter/ReferableConverter.java	10
base/src/main/java/org/arend/naming/renamer/MapReferableRenamer.java	15
base/src/main/java/org/arend/naming/renamer/ReferableRenamer.java	44
base/src/main/java/org/arend/naming/renamer/Renamer.java	140
base/src/main/java/org/arend/naming/renamer/StringRenamer.java	23
base/src/main/java/org/arend/naming/resolving/ResolverListener.java	22
base/src/main/java/org/arend/naming/resolving/visitor/DefinitionResolveNameVisitor.java	963
base/src/main/java/org/arend/naming/resolving/visitor/ExpressionResolveNameVisitor.java	953
base/src/main/java/org/arend/naming/resolving/visitor/TypeClassReferenceExtractVisitor.java	140
base/src/main/java/org/arend/naming/scope/CachingScope.java	87
base/src/main/java/org/arend/naming/scope/ClassFieldImplScope.java	115
base/src/main/java/org/arend/naming/scope/ConstructorFilteredScope.java	37
base/src/main/java/org/arend/naming/scope/ConvertingScope.java	81
base/src/main/java/org/arend/naming/scope/DelegateScope.java	25
base/src/main/java/org/arend/naming/scope/EmptyScope.java	23
base/src/main/java/org/arend/naming/scope/ImportedScope.java	143
base/src/main/java/org/arend/naming/scope/LazyScope.java	58
base/src/main/java/org/arend/naming/scope/LevelLexicalScope.java	1
base/src/main/java/org/arend/naming/scope/LexicalScope.java	304
base/src/main/java/org/arend/naming/scope/ListScope.java	102
base/src/main/java/org/arend/naming/scope/MergeScope.java	100
base/src/main/java/org/arend/naming/scope/NamespaceCommandNamespace.java	146
base/src/main/java/org/arend/naming/scope/PrivateFilteredScope.java	37
base/src/main/java/org/arend/naming/scope/Scope.java	98
base/src/main/java/org/arend/naming/scope/ScopeFactory.java	312
base/src/main/java/org/arend/naming/scope/SimpleScope.java	24
base/src/main/java/org/arend/naming/scope/SingletonScope.java	33
base/src/main/java/org/arend/naming/scope/local/ElimScope.java	25
base/src/main/java/org/arend/naming/scope/local/LetScope.java	93
base/src/main/java/org/arend/naming/scope/local/LocalListScope.java	28
base/src/main/java/org/arend/naming/scope/local/PatternScope.java	56
base/src/main/java/org/arend/naming/scope/local/TelescopeScope.java	70
base/src/main/java/org/arend/prelude/Prelude.java	439
base/src/main/java/org/arend/prelude/PreludeLibrary.java	85
base/src/main/java/org/arend/prelude/PreludeResourceLibrary.java	51
base/src/main/java/org/arend/prelude/PreludeResourceSource.java	43
base/src/main/java/org/arend/prelude/PreludeTypecheckingLibrary.java	41
base/src/main/java/org/arend/repl/CodeParsingHandler.java	29
base/src/main/java/org/arend/repl/CommandHandler.java	108
base/src/main/java/org/arend/repl/QuitReplException.java	5
base/src/main/java/org/arend/repl/Repl.java	280
base/src/main/java/org/arend/repl/ReplHandler.java	7
base/src/main/java/org/arend/repl/ReplScope.java	73
base/src/main/java/org/arend/repl/action/AliasableCommand.java	8
base/src/main/java/org/arend/repl/action/DirectoryArgumentCommand.java	3
base/src/main/java/org/arend/repl/action/ExpressionArgumentCommand.java	3
base/src/main/java/org/arend/repl/action/FileArgumentCommand.java	3
base/src/main/java/org/arend/repl/action/NormalizeCommand.java	54
base/src/main/java/org/arend/repl/action/PrettyPrintFlagCommand.java	60
base/src/main/java/org/arend/repl/action/PrintCommand.java	36
base/src/main/java/org/arend/repl/action/QuitCommand.java	19
base/src/main/java/org/arend/repl/action/ReplCommand.java	13
base/src/main/java/org/arend/repl/action/ResetContextCommand.java	19
base/src/main/java/org/arend/repl/action/ShowContextCommand.java	36
base/src/main/java/org/arend/repl/action/ShowTypeCommand.java	26
base/src/main/java/org/arend/repl/action/SizeCommand.java	34
base/src/main/java/org/arend/source/BinarySource.java	7
base/src/main/java/org/arend/source/FileBinarySource.java	57
base/src/main/java/org/arend/source/GZIPStreamBinarySource.java	45
base/src/main/java/org/arend/source/PersistableBinarySource.java	8
base/src/main/java/org/arend/source/Source.java	18
base/src/main/java/org/arend/source/SourceLoader.java	128
base/src/main/java/org/arend/source/StreamBinarySource.java	149
base/src/main/java/org/arend/source/ZipFileBinarySource.java	44
base/src/main/java/org/arend/source/error/LocationError.java	33
base/src/main/java/org/arend/source/error/PersistingError.java	10
base/src/main/java/org/arend/term/ChildNamespaceCommand.java	7
base/src/main/java/org/arend/term/Fixity.java	2
base/src/main/java/org/arend/term/NameRenaming.java	11
base/src/main/java/org/arend/term/NamespaceCommand.java	70
base/src/main/java/org/arend/term/abs/Abstract.java	246
base/src/main/java/org/arend/term/abs/AbstractDefinitionVisitor.java	7
base/src/main/java/org/arend/term/abs/AbstractExpressionError.java	19
base/src/main/java/org/arend/term/abs/AbstractExpressionVisitor.java	28
base/src/main/java/org/arend/term/abs/AbstractLevelExpressionVisitor.java	13
base/src/main/java/org/arend/term/abs/AbstractParameterPattern.java	66
base/src/main/java/org/arend/term/abs/BaseAbstractExpressionVisitor.java	89
base/src/main/java/org/arend/term/abs/ConcreteBuilder.java	742
base/src/main/java/org/arend/term/abs/IncompleteExpressionError.java	6
base/src/main/java/org/arend/term/concrete/BaseConcreteExpressionVisitor.java	295
base/src/main/java/org/arend/term/concrete/Concrete.java	2482
base/src/main/java/org/arend/term/concrete/ConcreteCompareVisitor.java	615
base/src/main/java/org/arend/term/concrete/ConcreteDefinitionVisitor.java	6
base/src/main/java/org/arend/term/concrete/ConcreteExpressionFactory.java	207
base/src/main/java/org/arend/term/concrete/ConcreteExpressionVisitor.java	25
base/src/main/java/org/arend/term/concrete/ConcreteLevelExpressionVisitor.java	10
base/src/main/java/org/arend/term/concrete/ConcreteReferableDefinitionVisitor.java	5
base/src/main/java/org/arend/term/concrete/ConcreteResolvableDefinitionVisitor.java	4
base/src/main/java/org/arend/term/concrete/DefinableMetaDefinition.java	154
base/src/main/java/org/arend/term/concrete/FindLevelVariablesVisitor.java	39
base/src/main/java/org/arend/term/concrete/FreeReferablesVisitor.java	45
base/src/main/java/org/arend/term/concrete/LocalFreeReferableVisitor.java	21
base/src/main/java/org/arend/term/concrete/ReplaceDataVisitor.java	329
base/src/main/java/org/arend/term/concrete/SearchConcreteVisitor.java	275
base/src/main/java/org/arend/term/concrete/SubstConcreteVisitor.java	310
base/src/main/java/org/arend/term/group/AccessModifier.java	7
base/src/main/java/org/arend/term/group/ChildGroup.java	18
base/src/main/java/org/arend/term/group/ClassGroup.java	34
base/src/main/java/org/arend/term/group/DataGroup.java	22
base/src/main/java/org/arend/term/group/EmptyGroup.java	37
base/src/main/java/org/arend/term/group/FileGroup.java	24
base/src/main/java/org/arend/term/group/Group.java	40
base/src/main/java/org/arend/term/group/Statement.java	17
base/src/main/java/org/arend/term/group/StaticGroup.java	46
base/src/main/java/org/arend/term/prettyprint/ArgumentMappingIterator.java	83
base/src/main/java/org/arend/term/prettyprint/BiConcreteVisitor.java	289
base/src/main/java/org/arend/term/prettyprint/CollectFreeVariablesVisitor.java	130
base/src/main/java/org/arend/term/prettyprint/DefinitionRenamerConcreteVisitor.java	22
base/src/main/java/org/arend/term/prettyprint/FreeVariableCollectorConcrete.java	55
base/src/main/java/org/arend/term/prettyprint/LocalExpressionPrettifier.java	99
base/src/main/java/org/arend/term/prettyprint/MinimizedRepresentation.java	379
base/src/main/java/org/arend/term/prettyprint/PrettyPrintVisitor.java	1500
base/src/main/java/org/arend/term/prettyprint/PrettyPrintWithSubexprVisitor.java	23
base/src/main/java/org/arend/term/prettyprint/PrettyPrinterConfigWithRenamer.java	17
base/src/main/java/org/arend/term/prettyprint/TermWithSubtermDoc.java	60
base/src/main/java/org/arend/term/prettyprint/ToAbstractVisitor.java	1078
base/src/main/java/org/arend/term/prettyprint/ToAbstractWithSubexprVisitor.java	37
base/src/main/java/org/arend/term/prettyprint/VariableTracker.java	15
base/src/main/java/org/arend/typechecking/ArendExtensionProvider.java	7
base/src/main/java/org/arend/typechecking/LevelContext.java	17
base/src/main/java/org/arend/typechecking/LibraryArendExtensionProvider.java	42
base/src/main/java/org/arend/typechecking/TypecheckedReporter.java	6
base/src/main/java/org/arend/typechecking/TypecheckerState.java	34
base/src/main/java/org/arend/typechecking/TypecheckingContext.java	24
base/src/main/java/org/arend/typechecking/UseTypechecking.java	257
base/src/main/java/org/arend/typechecking/computation/BooleanCancellationIndicator.java	12
base/src/main/java/org/arend/typechecking/computation/BooleanComputationRunner.java	9
base/src/main/java/org/arend/typechecking/computation/CancellationIndicator.java	14
base/src/main/java/org/arend/typechecking/computation/ComputationRunner.java	44
base/src/main/java/org/arend/typechecking/computation/DefinitionCancellationIndicator.java	23
base/src/main/java/org/arend/typechecking/computation/ThreadCancellationIndicator.java	13
base/src/main/java/org/arend/typechecking/computation/UnstoppableCancellationIndicator.java	12
base/src/main/java/org/arend/typechecking/covariance/CovarianceChecker.java	132
base/src/main/java/org/arend/typechecking/covariance/ParametersCovarianceChecker.java	58
base/src/main/java/org/arend/typechecking/covariance/RecursiveDataChecker.java	29
base/src/main/java/org/arend/typechecking/covariance/UniverseInParametersChecker.java	56
base/src/main/java/org/arend/typechecking/covariance/UniverseKindChecker.java	65
base/src/main/java/org/arend/typechecking/dfs/ClassDFS.java	11
base/src/main/java/org/arend/typechecking/dfs/DFS.java	38
base/src/main/java/org/arend/typechecking/dfs/FieldDFS.java	73
base/src/main/java/org/arend/typechecking/dfs/MapDFS.java	19
base/src/main/java/org/arend/typechecking/doubleChecker/CoreDefinitionChecker.java	353
base/src/main/java/org/arend/typechecking/doubleChecker/CoreException.java	8
base/src/main/java/org/arend/typechecking/doubleChecker/CoreExpressionChecker.java	874
base/src/main/java/org/arend/typechecking/doubleChecker/CoreModuleChecker.java	39
base/src/main/java/org/arend/typechecking/error/CycleError.java	97
base/src/main/java/org/arend/typechecking/error/ErrorReporterCounter.java	22
base/src/main/java/org/arend/typechecking/error/TerminationCheckError.java	41
base/src/main/java/org/arend/typechecking/error/local/CannotFindConstructorError.java	8
base/src/main/java/org/arend/typechecking/error/local/CertainTypecheckingError.java	39
base/src/main/java/org/arend/typechecking/error/local/CoerceClashError.java	25
base/src/main/java/org/arend/typechecking/error/local/CoerceCycleError.java	30
base/src/main/java/org/arend/typechecking/error/local/ConditionsError.java	27
base/src/main/java/org/arend/typechecking/error/local/ConstantSolveLevelEquationError.java	32
base/src/main/java/org/arend/typechecking/error/local/ConstructorReferenceError.java	8
base/src/main/java/org/arend/typechecking/error/local/CoreErrorWrapper.java	47
base/src/main/java/org/arend/typechecking/error/local/DataTypeNotEmptyError.java	37
base/src/main/java/org/arend/typechecking/error/local/DataUniverseError.java	14
base/src/main/java/org/arend/typechecking/error/local/ElimSubstError.java	31
base/src/main/java/org/arend/typechecking/error/local/ExpectedConstructorError.java	65
base/src/main/java/org/arend/typechecking/error/local/FieldCycleError.java	27
base/src/main/java/org/arend/typechecking/error/local/FieldDependencyError.java	28
base/src/main/java/org/arend/typechecking/error/local/FieldTypeParameterError.java	26
base/src/main/java/org/arend/typechecking/error/local/FunctionWithoutBodyError.java	19
base/src/main/java/org/arend/typechecking/error/local/GoalDataHolder.java	84
base/src/main/java/org/arend/typechecking/error/local/GoalError.java	90
base/src/main/java/org/arend/typechecking/error/local/HasErrors.java	9
base/src/main/java/org/arend/typechecking/error/local/HigherConstructorMatchingError.java	22
base/src/main/java/org/arend/typechecking/error/local/IdpPatternError.java	41
base/src/main/java/org/arend/typechecking/error/local/ImplicitLambdaError.java	29
base/src/main/java/org/arend/typechecking/error/local/ImpossibleEliminationError.java	41
base/src/main/java/org/arend/typechecking/error/local/IncorrectImplementationError.java	28
base/src/main/java/org/arend/typechecking/error/local/IncorrectReferenceError.java	18
base/src/main/java/org/arend/typechecking/error/local/LevelMismatchError.java	34
base/src/main/java/org/arend/typechecking/error/local/LocalErrorReporter.java	26
base/src/main/java/org/arend/typechecking/error/local/NonPositiveDataError.java	20
base/src/main/java/org/arend/typechecking/error/local/NotEnoughPatternsError.java	12
base/src/main/java/org/arend/typechecking/error/local/NotEqualExpressionsError.java	30
base/src/main/java/org/arend/typechecking/error/local/NotPiType.java	30
base/src/main/java/org/arend/typechecking/error/local/PathEndpointMismatchError.java	31
base/src/main/java/org/arend/typechecking/error/local/PatternUnificationError.java	22
base/src/main/java/org/arend/typechecking/error/local/ReferenceTypeError.java	15
base/src/main/java/org/arend/typechecking/error/local/SolveEquationError.java	29
base/src/main/java/org/arend/typechecking/error/local/SolveEquationsError.java	34
base/src/main/java/org/arend/typechecking/error/local/SolveLevelEquationsError.java	102
base/src/main/java/org/arend/typechecking/error/local/SquashedDataError.java	37
base/src/main/java/org/arend/typechecking/error/local/SuperLevelsMismatchError.java	38
base/src/main/java/org/arend/typechecking/error/local/TruncatedDataError.java	33
base/src/main/java/org/arend/typechecking/error/local/TypeComputationError.java	29
base/src/main/java/org/arend/typechecking/error/local/TypeFromFieldError.java	32
base/src/main/java/org/arend/typechecking/error/local/TypeMismatchWithSubexprError.java	11
base/src/main/java/org/arend/typechecking/error/local/WrongReferable.java	11
base/src/main/java/org/arend/typechecking/error/local/inference/FunctionArgInferenceError.java	32
base/src/main/java/org/arend/typechecking/error/local/inference/LambdaInferenceError.java	29
base/src/main/java/org/arend/typechecking/error/local/inference/RecursiveInstanceInferenceError.java	45
base/src/main/java/org/arend/typechecking/implicitargs/ImplicitArgsInference.java	10
base/src/main/java/org/arend/typechecking/implicitargs/StdImplicitArgsInference.java	853
base/src/main/java/org/arend/typechecking/implicitargs/equations/DummyEquations.java	76
base/src/main/java/org/arend/typechecking/implicitargs/equations/Equation.java	40
base/src/main/java/org/arend/typechecking/implicitargs/equations/Equations.java	32
base/src/main/java/org/arend/typechecking/implicitargs/equations/InferenceVariableListener.java	5
base/src/main/java/org/arend/typechecking/implicitargs/equations/LevelEquation.java	83
base/src/main/java/org/arend/typechecking/implicitargs/equations/LevelEquations.java	75
base/src/main/java/org/arend/typechecking/implicitargs/equations/LevelEquationsSolver.java	342
base/src/main/java/org/arend/typechecking/implicitargs/equations/LevelEquationsWrapper.java	80
base/src/main/java/org/arend/typechecking/implicitargs/equations/TwoStageEquations.java	823
base/src/main/java/org/arend/typechecking/instance/pool/GlobalInstancePool.java	216
base/src/main/java/org/arend/typechecking/instance/pool/InstancePool.java	19
base/src/main/java/org/arend/typechecking/instance/pool/LocalInstancePool.java	120
base/src/main/java/org/arend/typechecking/instance/pool/RecursiveInstanceData.java	13
base/src/main/java/org/arend/typechecking/instance/pool/RecursiveInstanceHoleExpression.java	10
base/src/main/java/org/arend/typechecking/instance/provider/EmptyInstanceProvider.java	14
base/src/main/java/org/arend/typechecking/instance/provider/InstanceProvider.java	6
base/src/main/java/org/arend/typechecking/instance/provider/InstanceProviderSet.java	135
base/src/main/java/org/arend/typechecking/instance/provider/SimpleInstanceProvider.java	48
base/src/main/java/org/arend/typechecking/order/DefinitionComparator.java	22
base/src/main/java/org/arend/typechecking/order/MapTarjanSCC.java	29
base/src/main/java/org/arend/typechecking/order/Ordering.java	298
base/src/main/java/org/arend/typechecking/order/PartialComparator.java	23
base/src/main/java/org/arend/typechecking/order/TarjanSCC.java	57
base/src/main/java/org/arend/typechecking/order/dependency/DependencyCollector.java	94
base/src/main/java/org/arend/typechecking/order/dependency/DependencyListener.java	8
base/src/main/java/org/arend/typechecking/order/dependency/DummyDependencyListener.java	19
base/src/main/java/org/arend/typechecking/order/dependency/MetaDependencyCollector.java	12
base/src/main/java/org/arend/typechecking/order/listener/CollectingOrderingListener.java	147
base/src/main/java/org/arend/typechecking/order/listener/OrderingListener.java	12
base/src/main/java/org/arend/typechecking/order/listener/TypecheckingOrderingListener.java	521
base/src/main/java/org/arend/typechecking/patternmatching/Condition.java	59
base/src/main/java/org/arend/typechecking/patternmatching/ConditionsChecking.java	355
base/src/main/java/org/arend/typechecking/patternmatching/ElimTypechecking.java	1068
base/src/main/java/org/arend/typechecking/patternmatching/ExpressionMatcher.java	167
base/src/main/java/org/arend/typechecking/patternmatching/ExtElimClause.java	16
base/src/main/java/org/arend/typechecking/patternmatching/PatternTypechecking.java	1045
base/src/main/java/org/arend/typechecking/patternmatching/SubstitutionData.java	40
base/src/main/java/org/arend/typechecking/patternmatching/Util.java	144
base/src/main/java/org/arend/typechecking/provider/ConcreteProvider.java	11
base/src/main/java/org/arend/typechecking/provider/EmptyConcreteProvider.java	33
base/src/main/java/org/arend/typechecking/result/DefCallResult.java	176
base/src/main/java/org/arend/typechecking/result/TResult.java	13
base/src/main/java/org/arend/typechecking/result/TypecheckingResult.java	88
base/src/main/java/org/arend/typechecking/subexpr/CorrespondedSubDefVisitor.java	140
base/src/main/java/org/arend/typechecking/subexpr/CorrespondedSubExprVisitor.java	432
base/src/main/java/org/arend/typechecking/subexpr/FindBinding.java	156
base/src/main/java/org/arend/typechecking/subexpr/SubExprError.java	77
base/src/main/java/org/arend/typechecking/termination/BaseCallGraph.java	238
base/src/main/java/org/arend/typechecking/termination/BaseCallMatrix.java	218
base/src/main/java/org/arend/typechecking/termination/CallMatrix.java	142
base/src/main/java/org/arend/typechecking/termination/CollectCallVisitor.java	166
base/src/main/java/org/arend/typechecking/termination/CompositeCallMatrix.java	37
base/src/main/java/org/arend/typechecking/termination/DefinitionCallGraph.java	27
base/src/main/java/org/arend/typechecking/termination/RecursiveBehavior.java	56
base/src/main/java/org/arend/typechecking/visitor/BaseDefinitionTypechecker.java	56
base/src/main/java/org/arend/typechecking/visitor/CheckForUniversesVisitor.java	84
base/src/main/java/org/arend/typechecking/visitor/CheckTypeVisitor.java	3749
base/src/main/java/org/arend/typechecking/visitor/ClassFieldChecker.java	133
base/src/main/java/org/arend/typechecking/visitor/CollectDefCallsVisitor.java	78
base/src/main/java/org/arend/typechecking/visitor/DefinitionTypechecker.java	3381
base/src/main/java/org/arend/typechecking/visitor/DesugarVisitor.java	504
base/src/main/java/org/arend/typechecking/visitor/DumbTypechecker.java	164
base/src/main/java/org/arend/typechecking/visitor/FindDefCallVisitor.java	66
base/src/main/java/org/arend/typechecking/visitor/FindLevelParameters.java	69
base/src/main/java/org/arend/typechecking/visitor/FindSubexpressionVisitor.java	214
base/src/main/java/org/arend/typechecking/visitor/FixLevelParameters.java	195
base/src/main/java/org/arend/typechecking/visitor/FreeVariablesClassifier.java	262
base/src/main/java/org/arend/typechecking/visitor/MinimizeLevelVisitor.java	155
base/src/main/java/org/arend/typechecking/visitor/ReplaceVarConcreteVisitor.java	163
base/src/main/java/org/arend/typechecking/visitor/SearchVisitor.java	332
base/src/main/java/org/arend/typechecking/visitor/SyntacticDesugarVisitor.java	208
base/src/main/java/org/arend/typechecking/visitor/VoidConcreteVisitor.java	327
base/src/main/java/org/arend/typechecking/visitor/WhereVarsCollector.java	40
base/src/main/java/org/arend/typechecking/visitor/WhereVarsFixVisitor.java	330
base/src/main/java/org/arend/util/Arend.java	11
base/src/main/java/org/arend/util/ArendExpr.java	11
base/src/main/java/org/arend/util/ComputationInterruptedException.java	3
base/src/main/java/org/arend/util/Decision.java	10
base/src/main/java/org/arend/util/FileUtils.java	134
base/src/main/java/org/arend/util/FullName.java	36
base/src/main/java/org/arend/util/GraphClosure.java	33
base/src/main/java/org/arend/util/Range.java	91
base/src/main/java/org/arend/util/SingletonList.java	118
base/src/main/java/org/arend/util/StringEscapeUtils.java	181
base/src/main/java/org/arend/util/StringFormat.java	13
base/src/main/java/org/arend/util/Version.java	60
base/src/main/java/org/arend/util/VersionRange.java	18
build.gradle.kts	78
buildSrc/build.gradle.kts	19
buildSrc/src/main/antlr/org/arend/frontend/parser/Arend.g4	279
buildSrc/src/main/groovy/org/arend/gradle/BuildPreludeTask.groovy	21
buildSrc/src/main/groovy/org/arend/gradle/GenerateVersionTask.groovy	31
cli/build.gradle.kts	40
cli/src/main/java/org/arend/frontend/BaseCliFrontend.java	671
cli/src/main/java/org/arend/frontend/ConcreteReferableProvider.java	60
cli/src/main/java/org/arend/frontend/ConsoleMain.java	8
cli/src/main/java/org/arend/frontend/FileLibraryResolver.java	124
cli/src/main/java/org/arend/frontend/PositionComparator.java	43
cli/src/main/java/org/arend/frontend/PreludeBinaryGenerator.java	34
cli/src/main/java/org/arend/frontend/group/SimpleNamespaceCommand.java	115
cli/src/main/java/org/arend/frontend/library/FileLoadableHeaderLibrary.java	67
cli/src/main/java/org/arend/frontend/library/FileSourceLibrary.java	90
cli/src/main/java/org/arend/frontend/library/PreludeFileLibrary.java	41
cli/src/main/java/org/arend/frontend/library/TimedLibraryManager.java	38
cli/src/main/java/org/arend/frontend/library/ZipSourceLibrary.java	154
cli/src/main/java/org/arend/frontend/parser/BuildVisitor.java	1720
cli/src/main/java/org/arend/frontend/parser/ParseException.java	3
cli/src/main/java/org/arend/frontend/parser/ParserError.java	30
cli/src/main/java/org/arend/frontend/parser/Position.java	14
cli/src/main/java/org/arend/frontend/parser/ReporterErrorListener.java	19
cli/src/main/java/org/arend/frontend/reference/ParsedLocalReferable.java	23
cli/src/main/java/org/arend/frontend/repl/CommonCliRepl.java	286
cli/src/main/java/org/arend/frontend/repl/PlainCliRepl.java	61
cli/src/main/java/org/arend/frontend/repl/ReplConfig.java	9
cli/src/main/java/org/arend/frontend/repl/action/CdCommand.java	32
cli/src/main/java/org/arend/frontend/repl/action/CliReplCommand.java	15
cli/src/main/java/org/arend/frontend/repl/action/ListLoadedModulesAction.java	88
cli/src/main/java/org/arend/frontend/repl/action/LoadLibraryCommand.java	30
cli/src/main/java/org/arend/frontend/repl/action/LoadModuleCommand.java	67
cli/src/main/java/org/arend/frontend/repl/action/PwdCommand.java	15
cli/src/main/java/org/arend/frontend/repl/action/UnloadModuleCommand.java	29
cli/src/main/java/org/arend/frontend/repl/jline/ArendReplParser.java	108
cli/src/main/java/org/arend/frontend/repl/jline/CommandsCompleter.java	20
cli/src/main/java/org/arend/frontend/repl/jline/Completers.java	163
cli/src/main/java/org/arend/frontend/repl/jline/ImportCompleter.java	25
cli/src/main/java/org/arend/frontend/repl/jline/JLineCliRepl.java	145
cli/src/main/java/org/arend/frontend/repl/jline/KeywordCompleter.java	35
cli/src/main/java/org/arend/frontend/repl/jline/ScopeCompleter.java	33
cli/src/main/java/org/arend/frontend/repl/jline/SpecialCommandCompleter.java	31
cli/src/main/java/org/arend/frontend/source/FileRawSource.java	32
cli/src/main/java/org/arend/frontend/source/StreamRawSource.java	74
cli/src/main/java/org/arend/frontend/source/ZipFileRawSource.java	28
cli/src/main/java/org/arend/frontend/ui/ArendCliUI.java	41
cli/src/main/java/org/arend/frontend/ui/CliSession.java	181
parser/build.gradle.kts	9
proto/build.gradle.kts	18
proto/src/main/proto/Definition.proto	234
proto/src/main/proto/Expression.proto	314
proto/src/main/proto/Level.proto	18
proto/src/main/proto/Module.proto	27
settings.gradle.kts	8