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