{ "name": "elpi", "version": "3.4.5", "files": [ "doc/trace_ppx_runtime/Trace_ppx_runtime/Runtime/index.html", "doc/trace_ppx_runtime/Trace_ppx_runtime/index.html", "doc/trace_ppx_runtime/index.html", "doc/trace_ppx/Trace_ppx/index.html", "doc/trace_ppx/index.html", "doc/elpi.util/Elpi_util/Util/Constants/Set/index.html", "doc/elpi.util/Elpi_util/Util/Constants/Map/index.html", "doc/elpi.util/Elpi_util/Util/Constants/index.html", "doc/elpi.util/Elpi_util/Util/CData/index.html", "doc/elpi.util/Elpi_util/Util/Fork/index.html", "doc/elpi.util/Elpi_util/Util/UUID/Htbl/index.html", "doc/elpi.util/Elpi_util/Util/UUID/index.html", "doc/elpi.util/Elpi_util/Util/Mode/index.html", "doc/elpi.util/Elpi_util/Util/module-type-Mode/index.html", "doc/elpi.util/Elpi_util/Util/Loc/index.html", "doc/elpi.util/Elpi_util/Util/Hashtbl/MakeSeeded/argument-1-H/index.html", "doc/elpi.util/Elpi_util/Util/Hashtbl/MakeSeeded/index.html", "doc/elpi.util/Elpi_util/Util/Hashtbl/module-type-SeededS/index.html", "doc/elpi.util/Elpi_util/Util/Hashtbl/module-type-SeededHashedType/index.html", "doc/elpi.util/Elpi_util/Util/Hashtbl/Make/argument-1-H/index.html", "doc/elpi.util/Elpi_util/Util/Hashtbl/Make/index.html", "doc/elpi.util/Elpi_util/Util/Hashtbl/module-type-S/index.html", "doc/elpi.util/Elpi_util/Util/Hashtbl/module-type-HashedType/index.html", "doc/elpi.util/Elpi_util/Util/Hashtbl/index.html", "doc/elpi.util/Elpi_util/Util/Digest/index.html", "doc/elpi.util/Elpi_util/Util/IntSet/index.html", "doc/elpi.util/Elpi_util/Util/StrSet/index.html", "doc/elpi.util/Elpi_util/Util/IntMap/index.html", "doc/elpi.util/Elpi_util/Util/StrMap/index.html", "doc/elpi.util/Elpi_util/Util/String/index.html", "doc/elpi.util/Elpi_util/Util/Bool/index.html", "doc/elpi.util/Elpi_util/Util/Int/index.html", "doc/elpi.util/Elpi_util/Util/Set/Make/argument-1-Ord/index.html", "doc/elpi.util/Elpi_util/Util/Set/Make/index.html", "doc/elpi.util/Elpi_util/Util/Set/module-type-OrderedType/index.html", "doc/elpi.util/Elpi_util/Util/Set/module-type-S/index.html", "doc/elpi.util/Elpi_util/Util/Set/index.html", "doc/elpi.util/Elpi_util/Util/Map/Make/argument-1-Ord/index.html", "doc/elpi.util/Elpi_util/Util/Map/Make/index.html", "doc/elpi.util/Elpi_util/Util/Map/module-type-OrderedType/index.html", "doc/elpi.util/Elpi_util/Util/Map/module-type-S/index.html", "doc/elpi.util/Elpi_util/Util/Map/index.html", "doc/elpi.util/Elpi_util/Util/module-type-Show2/index.html", "doc/elpi.util/Elpi_util/Util/module-type-Show1/index.html", "doc/elpi.util/Elpi_util/Util/module-type-ShowKey/index.html", "doc/elpi.util/Elpi_util/Util/module-type-Show/index.html", "doc/elpi.util/Elpi_util/Util/index.html", "doc/elpi.util/Elpi_util/Union_find/Make/KeySet/index.html", "doc/elpi.util/Elpi_util/Union_find/Make/argument-1-O/index.html", "doc/elpi.util/Elpi_util/Union_find/Make/index.html", "doc/elpi.util/Elpi_util/Union_find/module-type-S/KeySet/index.html", "doc/elpi.util/Elpi_util/Union_find/module-type-S/index.html", "doc/elpi.util/Elpi_util/Union_find/index.html", "doc/elpi.util/Elpi_util/index.html", "doc/elpi.util/index.html", "doc/elpi.trace/index.html", "doc/elpi.runtime/Elpi_runtime/Runtime_trace_off/Indexing/index.html", "doc/elpi.runtime/Elpi_runtime/Runtime_trace_off/CompileTime/index.html", "doc/elpi.runtime/Elpi_runtime/Runtime_trace_off/Pp/index.html", "doc/elpi.runtime/Elpi_runtime/Runtime_trace_off/index.html", "doc/elpi.runtime/Elpi_runtime/Runtime/Indexing/index.html", "doc/elpi.runtime/Elpi_runtime/Runtime/CompileTime/index.html", "doc/elpi.runtime/Elpi_runtime/Runtime/Pp/index.html", "doc/elpi.runtime/Elpi_runtime/Runtime/index.html", "doc/elpi.runtime/Elpi_runtime/Ptmap/index.html", "doc/elpi.runtime/Elpi_runtime/Discrimination_tree/Internal/index.html", "doc/elpi.runtime/Elpi_runtime/Discrimination_tree/Path/index.html", "doc/elpi.runtime/Elpi_runtime/Discrimination_tree/index.html", "doc/elpi.runtime/Elpi_runtime/Data/BuiltInPredicate/ADT/index.html", "doc/elpi.runtime/Elpi_runtime/Data/BuiltInPredicate/index.html", "doc/elpi.runtime/Elpi_runtime/Data/CalcHooks/index.html", "doc/elpi.runtime/Elpi_runtime/Data/HoasHooks/index.html", "doc/elpi.runtime/Elpi_runtime/Data/ContextualConversion/index.html", "doc/elpi.runtime/Elpi_runtime/Data/Conversion/index.html", "doc/elpi.runtime/Elpi_runtime/Data/CHR/index.html", "doc/elpi.runtime/Elpi_runtime/Data/Global_symbols/index.html", "doc/elpi.runtime/Elpi_runtime/Data/Symbol/QMap/index.html", "doc/elpi.runtime/Elpi_runtime/Data/Symbol/RawMap/index.html", "doc/elpi.runtime/Elpi_runtime/Data/Symbol/UF/KeySet/index.html", "doc/elpi.runtime/Elpi_runtime/Data/Symbol/UF/index.html", "doc/elpi.runtime/Elpi_runtime/Data/Symbol/index.html", "doc/elpi.runtime/Elpi_runtime/Data/State/index.html", "doc/elpi.runtime/Elpi_runtime/Data/Term/C/index.html", "doc/elpi.runtime/Elpi_runtime/Data/Term/index.html", "doc/elpi.runtime/Elpi_runtime/Data/index.html", "doc/elpi.runtime/Elpi_runtime/Bl/index.html", "doc/elpi.runtime/Elpi_runtime/index.html", "doc/elpi.runtime/index.html", "doc/elpi.parser/Elpi_parser/Parser_config/module-type-ParseFile/index.html", "doc/elpi.parser/Elpi_parser/Parser_config/index.html", "doc/elpi.parser/Elpi_parser/Parse/Make/Internal/index.html", "doc/elpi.parser/Elpi_parser/Parse/Make/argument-1-C/index.html", "doc/elpi.parser/Elpi_parser/Parse/Make/index.html", "doc/elpi.parser/Elpi_parser/Parse/module-type-Config/index.html", "doc/elpi.parser/Elpi_parser/Parse/module-type-Parser_w_Internals/Internal/index.html", "doc/elpi.parser/Elpi_parser/Parse/module-type-Parser_w_Internals/index.html", "doc/elpi.parser/Elpi_parser/Parse/module-type-Parser/index.html", "doc/elpi.parser/Elpi_parser/Parse/index.html", "doc/elpi.parser/Elpi_parser/Lexer/index.html", "doc/elpi.parser/Elpi_parser/Grammar/Make/argument-1-C/index.html", "doc/elpi.parser/Elpi_parser/Grammar/Make/index.html", "doc/elpi.parser/Elpi_parser/Grammar/index.html", "doc/elpi.parser/Elpi_parser/Error_messages/index.html", "doc/elpi.parser/Elpi_parser/Ast/Structured/index.html", "doc/elpi.parser/Elpi_parser/Ast/Goal/index.html", "doc/elpi.parser/Elpi_parser/Ast/Program/index.html", "doc/elpi.parser/Elpi_parser/Ast/TypeAbbreviation/index.html", "doc/elpi.parser/Elpi_parser/Ast/Type/index.html", "doc/elpi.parser/Elpi_parser/Ast/Macro/index.html", "doc/elpi.parser/Elpi_parser/Ast/Chr/index.html", "doc/elpi.parser/Elpi_parser/Ast/Clause/index.html", "doc/elpi.parser/Elpi_parser/Ast/Term/index.html", "doc/elpi.parser/Elpi_parser/Ast/TypeExpression/index.html", "doc/elpi.parser/Elpi_parser/Ast/Mode/index.html", "doc/elpi.parser/Elpi_parser/Ast/Func/Set/index.html", "doc/elpi.parser/Elpi_parser/Ast/Func/Map/index.html", "doc/elpi.parser/Elpi_parser/Ast/Func/index.html", "doc/elpi.parser/Elpi_parser/Ast/index.html", "doc/elpi.parser/Elpi_parser/index.html", "doc/elpi.parser/index.html", "doc/elpi.lexer_config/Elpi_lexer_config/Tokens/index.html", "doc/elpi.lexer_config/Elpi_lexer_config/Lexer_config/index.html", "doc/elpi.lexer_config/Elpi_lexer_config/index.html", "doc/elpi.lexer_config/index.html", "doc/elpi.compiler/Elpi_compiler/Type_checker/index.html", "doc/elpi.compiler/Elpi_compiler/Spilling/index.html", "doc/elpi.compiler/Elpi_compiler/Determinacy_checker/index.html", "doc/elpi.compiler/Elpi_compiler/Compiler_data/Arity/index.html", "doc/elpi.compiler/Elpi_compiler/Compiler_data/QuotationHooks/index.html", "doc/elpi.compiler/Elpi_compiler/Compiler_data/ScopeTypeExpressionUniqueList/index.html", "doc/elpi.compiler/Elpi_compiler/Compiler_data/ScopedTerm/QTerm/index.html", "doc/elpi.compiler/Elpi_compiler/Compiler_data/ScopedTerm/SimpleTerm/index.html", "doc/elpi.compiler/Elpi_compiler/Compiler_data/ScopedTerm/index.html", "doc/elpi.compiler/Elpi_compiler/Compiler_data/ScopedTypeExpression/SimpleType/index.html", "doc/elpi.compiler/Elpi_compiler/Compiler_data/ScopedTypeExpression/index.html", "doc/elpi.compiler/Elpi_compiler/Compiler_data/Scope/Set/index.html", "doc/elpi.compiler/Elpi_compiler/Compiler_data/Scope/Map/index.html", "doc/elpi.compiler/Elpi_compiler/Compiler_data/Scope/index.html", "doc/elpi.compiler/Elpi_compiler/Compiler_data/SymbolResolver/index.html", "doc/elpi.compiler/Elpi_compiler/Compiler_data/TypingEnv/index.html", "doc/elpi.compiler/Elpi_compiler/Compiler_data/TypeAssignment/index.html", "doc/elpi.compiler/Elpi_compiler/Compiler_data/MutableOnce/index.html", "doc/elpi.compiler/Elpi_compiler/Compiler_data/ScopeContext/index.html", "doc/elpi.compiler/Elpi_compiler/Compiler_data/index.html", "doc/elpi.compiler/Elpi_compiler/Compiler/IntervalTree/index.html", "doc/elpi.compiler/Elpi_compiler/Compiler/index.html", "doc/elpi.compiler/Elpi_compiler/index.html", "doc/elpi.compiler/index.html", "doc/elpi/Elpi/Builtin/index.html", "doc/elpi/Elpi/API/RawPp/Debug/index.html", "doc/elpi/Elpi/API/RawPp/index.html", "doc/elpi/Elpi/API/Utils/LocSet/index.html", "doc/elpi/Elpi/API/Utils/IntSet/index.html", "doc/elpi/Elpi/API/Utils/Set/Make/argument-1-Ord/index.html", "doc/elpi/Elpi/API/Utils/Set/Make/index.html", "doc/elpi/Elpi/API/Utils/Set/module-type-OrderedType/index.html", "doc/elpi/Elpi/API/Utils/Set/module-type-S/index.html", "doc/elpi/Elpi/API/Utils/Set/index.html", "doc/elpi/Elpi/API/Utils/Map/Make/argument-1-Ord/index.html", "doc/elpi/Elpi/API/Utils/Map/Make/index.html", "doc/elpi/Elpi/API/Utils/Map/module-type-OrderedType/index.html", "doc/elpi/Elpi/API/Utils/Map/module-type-S/index.html", "doc/elpi/Elpi/API/Utils/Map/index.html", "doc/elpi/Elpi/API/Utils/module-type-Show1/index.html", "doc/elpi/Elpi/API/Utils/module-type-ShowKey/index.html", "doc/elpi/Elpi/API/Utils/module-type-Show/index.html", "doc/elpi/Elpi/API/Utils/index.html", "doc/elpi/Elpi/API/Quotation/index.html", "doc/elpi/Elpi/API/RawQuery/index.html", "doc/elpi/Elpi/API/RawData/Constants/Set/index.html", "doc/elpi/Elpi/API/RawData/Constants/Map/index.html", "doc/elpi/Elpi/API/RawData/Constants/index.html", "doc/elpi/Elpi/API/RawData/index.html", "doc/elpi/Elpi/API/Calc/index.html", "doc/elpi/Elpi/API/RawOpaqueData/index.html", "doc/elpi/Elpi/API/FlexibleData/module-type-Show/index.html", "doc/elpi/Elpi/API/FlexibleData/Map/argument-1-Host/index.html", "doc/elpi/Elpi/API/FlexibleData/Map/index.html", "doc/elpi/Elpi/API/FlexibleData/module-type-Host/index.html", "doc/elpi/Elpi/API/FlexibleData/Elpi/index.html", "doc/elpi/Elpi/API/FlexibleData/index.html", "doc/elpi/Elpi/API/State/index.html", "doc/elpi/Elpi/API/BuiltIn/index.html", "doc/elpi/Elpi/API/BuiltInPredicate/HOAdaptors/index.html", "doc/elpi/Elpi/API/BuiltInPredicate/Notation/index.html", "doc/elpi/Elpi/API/BuiltInPredicate/index.html", "doc/elpi/Elpi/API/AlgebraicData/index.html", "doc/elpi/Elpi/API/OpaqueData/index.html", "doc/elpi/Elpi/API/BuiltInData/index.html", "doc/elpi/Elpi/API/ContextualConversion/index.html", "doc/elpi/Elpi/API/Conversion/index.html", "doc/elpi/Elpi/API/Pp/Ast/index.html", "doc/elpi/Elpi/API/Pp/index.html", "doc/elpi/Elpi/API/Execute/index.html", "doc/elpi/Elpi/API/Data/index.html", "doc/elpi/Elpi/API/Compile/IntervalTree/index.html", "doc/elpi/Elpi/API/Compile/StrSet/index.html", "doc/elpi/Elpi/API/Compile/index.html", "doc/elpi/Elpi/API/Parse/index.html", "doc/elpi/Elpi/API/Setup/StrMap/index.html", "doc/elpi/Elpi/API/Setup/index.html", "doc/elpi/Elpi/API/Ast/Term/index.html", "doc/elpi/Elpi/API/Ast/Type/index.html", "doc/elpi/Elpi/API/Ast/Opaque/index.html", "doc/elpi/Elpi/API/Ast/Scope/Map/index.html", "doc/elpi/Elpi/API/Ast/Scope/index.html", "doc/elpi/Elpi/API/Ast/Name/Map/index.html", "doc/elpi/Elpi/API/Ast/Name/Set/index.html", "doc/elpi/Elpi/API/Ast/Name/index.html", "doc/elpi/Elpi/API/Ast/Loc/index.html", "doc/elpi/Elpi/API/Ast/index.html", "doc/elpi/Elpi/API/index.html", "doc/elpi/Elpi/index.html", "doc/elpi/index.html", "doc/src/trace_ppx/trace_ppx.ml.html", "doc/src/trace_ppx_runtime/trace_ppx_runtime.ml.html", "doc/src/trace_ppx_runtime/runtime.ml.html", "doc/src/elpi.util/union_find.ml.html", "doc/src/elpi.util/elpi_util.ml.html", "doc/src/elpi.util/util.ml.html", "doc/src/elpi.runtime/elpi_runtime.ml.html", "doc/src/elpi.runtime/bl.ml.html", "doc/src/elpi.runtime/ptmap.ml.html", "doc/src/elpi.runtime/discrimination_tree.ml.html", "doc/src/elpi.runtime/data.ml.html", "doc/src/elpi.runtime/runtime.ml.html", "doc/src/elpi.runtime/runtime_trace_off.ml.html", "doc/src/elpi.parser/elpi_parser.ml.html", "doc/src/elpi.parser/ast.ml.html", "doc/src/elpi.parser/error_messages.ml.html", "doc/src/elpi.parser/parse.ml.html", "doc/src/elpi.parser/parser_config.ml.html", "doc/src/elpi.parser/lexer.ml.html", "doc/src/elpi.parser/grammar.ml.html", "doc/src/elpi.lexer_config/elpi_lexer_config.ml.html", "doc/src/elpi.lexer_config/tokens.ml.html", "doc/src/elpi.lexer_config/lexer_config.ml.html", "doc/src/elpi.compiler/elpi_compiler.ml.html", "doc/src/elpi.compiler/spilling.ml.html", "doc/src/elpi.compiler/determinacy_checker.ml.html", "doc/src/elpi.compiler/type_checker.ml.html", "doc/src/elpi.compiler/compiler_data.ml.html", "doc/src/elpi.compiler/compiler.ml.html", "doc/src/elpi/elpi.ml.html", "doc/src/elpi/builtin.ml.html", "doc/src/elpi/API.ml.html", "doc/src/index.html", "doc/index.html", "doc/README.html", "doc/CHANGES.html" ], "failed": false, "redirections": [ { "old_path": "doc/Elpi/API/Ast/Opaque/index.html", "new_path": "doc/elpi/Elpi/API/Ast/Opaque/index.html" }, { "old_path": "doc/Elpi_parser/Parse/Make/index.html", "new_path": "doc/elpi.parser/Elpi_parser/Parse/Make/index.html" }, { "old_path": "doc/Elpi/API/BuiltIn/index.html", "new_path": "doc/elpi/Elpi/API/BuiltIn/index.html" }, { "old_path": "doc/Elpi_compiler/Compiler_data/ScopedTypeExpression/index.html", "new_path": "doc/elpi.compiler/Elpi_compiler/Compiler_data/ScopedTypeExpression/index.html" }, { "old_path": "doc/Elpi_runtime/Runtime_trace_off/index.html", "new_path": "doc/elpi.runtime/Elpi_runtime/Runtime_trace_off/index.html" }, { "old_path": "doc/Elpi_compiler/Compiler_data/TypeAssignment/index.html", "new_path": "doc/elpi.compiler/Elpi_compiler/Compiler_data/TypeAssignment/index.html" }, { "old_path": "doc/Elpi_compiler/Compiler_data/TypingEnv/index.html", "new_path": "doc/elpi.compiler/Elpi_compiler/Compiler_data/TypingEnv/index.html" }, { "old_path": "doc/Elpi_util/Union_find/Make/argument-1-O/index.html", "new_path": "doc/elpi.util/Elpi_util/Union_find/Make/argument-1-O/index.html" }, { "old_path": "doc/Elpi_util/Util/Set/Make/argument-1-Ord/index.html", "new_path": "doc/elpi.util/Elpi_util/Util/Set/Make/argument-1-Ord/index.html" }, { "old_path": "doc/Elpi/API/BuiltInPredicate/Notation/index.html", "new_path": "doc/elpi/Elpi/API/BuiltInPredicate/Notation/index.html" }, { "old_path": "doc/Elpi_lexer_config/Tokens/index.html", "new_path": "doc/elpi.lexer_config/Elpi_lexer_config/Tokens/index.html" }, { "old_path": "doc/Elpi/API/Ast/Name/Set/index.html", "new_path": "doc/elpi/Elpi/API/Ast/Name/Set/index.html" }, { "old_path": "doc/Elpi/API/Utils/module-type-Show1/index.html", "new_path": "doc/elpi/Elpi/API/Utils/module-type-Show1/index.html" }, { "old_path": "doc/Elpi/API/RawPp/index.html", "new_path": "doc/elpi/Elpi/API/RawPp/index.html" }, { "old_path": "doc/Elpi_parser/Ast/Mode/index.html", "new_path": "doc/elpi.parser/Elpi_parser/Ast/Mode/index.html" }, { "old_path": "doc/Elpi_runtime/Runtime/index.html", "new_path": "doc/elpi.runtime/Elpi_runtime/Runtime/index.html" }, { "old_path": "doc/Elpi/API/Ast/Scope/Map/index.html", "new_path": "doc/elpi/Elpi/API/Ast/Scope/Map/index.html" }, { "old_path": "doc/Elpi_parser/Grammar/Make/argument-1-C/index.html", "new_path": "doc/elpi.parser/Elpi_parser/Grammar/Make/argument-1-C/index.html" }, { "old_path": "doc/Elpi_util/Util/Map/module-type-S/index.html", "new_path": "doc/elpi.util/Elpi_util/Util/Map/module-type-S/index.html" }, { "old_path": "doc/Elpi_util/Util/UUID/index.html", "new_path": "doc/elpi.util/Elpi_util/Util/UUID/index.html" }, { "old_path": "doc/Elpi/API/Conversion/index.html", "new_path": "doc/elpi/Elpi/API/Conversion/index.html" }, { "old_path": "doc/Elpi_compiler/Determinacy_checker/index.html", "new_path": "doc/elpi.compiler/Elpi_compiler/Determinacy_checker/index.html" }, { "old_path": "doc/Elpi_util/Util/Bool/index.html", "new_path": "doc/elpi.util/Elpi_util/Util/Bool/index.html" }, { "old_path": "doc/Elpi_util/Util/Loc/index.html", "new_path": "doc/elpi.util/Elpi_util/Util/Loc/index.html" }, { "old_path": "doc/Elpi/API/RawPp/Debug/index.html", "new_path": "doc/elpi/Elpi/API/RawPp/Debug/index.html" }, { "old_path": "doc/Elpi_parser/Parse/module-type-Parser_w_Internals/index.html", "new_path": "doc/elpi.parser/Elpi_parser/Parse/module-type-Parser_w_Internals/index.html" }, { "old_path": "doc/Elpi/API/Setup/index.html", "new_path": "doc/elpi/Elpi/API/Setup/index.html" }, { "old_path": "doc/Elpi_runtime/Runtime/CompileTime/index.html", "new_path": "doc/elpi.runtime/Elpi_runtime/Runtime/CompileTime/index.html" }, { "old_path": "doc/Elpi_runtime/Runtime_trace_off/CompileTime/index.html", "new_path": "doc/elpi.runtime/Elpi_runtime/Runtime_trace_off/CompileTime/index.html" }, { "old_path": "doc/Elpi_parser/Ast/Structured/index.html", "new_path": "doc/elpi.parser/Elpi_parser/Ast/Structured/index.html" }, { "old_path": "doc/Elpi_runtime/Data/Symbol/RawMap/index.html", "new_path": "doc/elpi.runtime/Elpi_runtime/Data/Symbol/RawMap/index.html" }, { "old_path": "doc/Elpi_util/Util/Hashtbl/MakeSeeded/index.html", "new_path": "doc/elpi.util/Elpi_util/Util/Hashtbl/MakeSeeded/index.html" }, { "old_path": "doc/Elpi_util/index.html", "new_path": "doc/elpi.util/Elpi_util/index.html" }, { "old_path": "doc/Elpi/API/RawData/index.html", "new_path": "doc/elpi/Elpi/API/RawData/index.html" }, { "old_path": "doc/Elpi_compiler/Compiler_data/Scope/index.html", "new_path": "doc/elpi.compiler/Elpi_compiler/Compiler_data/Scope/index.html" }, { "old_path": "doc/Elpi_compiler/Compiler_data/ScopedTerm/SimpleTerm/index.html", "new_path": "doc/elpi.compiler/Elpi_compiler/Compiler_data/ScopedTerm/SimpleTerm/index.html" }, { "old_path": "doc/Elpi_util/Util/StrMap/index.html", "new_path": "doc/elpi.util/Elpi_util/Util/StrMap/index.html" }, { "old_path": "doc/Elpi/API/Utils/index.html", "new_path": "doc/elpi/Elpi/API/Utils/index.html" }, { "old_path": "doc/Elpi/API/Utils/IntSet/index.html", "new_path": "doc/elpi/Elpi/API/Utils/IntSet/index.html" }, { "old_path": "doc/Elpi_compiler/Type_checker/index.html", "new_path": "doc/elpi.compiler/Elpi_compiler/Type_checker/index.html" }, { "old_path": "doc/Elpi/API/Utils/Map/Make/argument-1-Ord/index.html", "new_path": "doc/elpi/Elpi/API/Utils/Map/Make/argument-1-Ord/index.html" }, { "old_path": "doc/Elpi_runtime/Bl/index.html", "new_path": "doc/elpi.runtime/Elpi_runtime/Bl/index.html" }, { "old_path": "doc/Elpi/API/FlexibleData/Elpi/index.html", "new_path": "doc/elpi/Elpi/API/FlexibleData/Elpi/index.html" }, { "old_path": "doc/Elpi/API/Quotation/index.html", "new_path": "doc/elpi/Elpi/API/Quotation/index.html" }, { "old_path": "doc/Elpi/API/Utils/module-type-ShowKey/index.html", "new_path": "doc/elpi/Elpi/API/Utils/module-type-ShowKey/index.html" }, { "old_path": "doc/Elpi_parser/Ast/Func/index.html", "new_path": "doc/elpi.parser/Elpi_parser/Ast/Func/index.html" }, { "old_path": "doc/Elpi_util/Util/Int/index.html", "new_path": "doc/elpi.util/Elpi_util/Util/Int/index.html" }, { "old_path": "doc/Elpi_util/Util/Hashtbl/Make/index.html", "new_path": "doc/elpi.util/Elpi_util/Util/Hashtbl/Make/index.html" }, { "old_path": "doc/Elpi_compiler/Compiler/IntervalTree/index.html", "new_path": "doc/elpi.compiler/Elpi_compiler/Compiler/IntervalTree/index.html" }, { "old_path": "doc/Elpi_util/Util/IntSet/index.html", "new_path": "doc/elpi.util/Elpi_util/Util/IntSet/index.html" }, { "old_path": "doc/Trace_ppx_runtime/Runtime/index.html", "new_path": "doc/trace_ppx_runtime/Trace_ppx_runtime/Runtime/index.html" }, { "old_path": "doc/Elpi_parser/Parse/module-type-Parser/index.html", "new_path": "doc/elpi.parser/Elpi_parser/Parse/module-type-Parser/index.html" }, { "old_path": "doc/Elpi/API/Ast/Name/Map/index.html", "new_path": "doc/elpi/Elpi/API/Ast/Name/Map/index.html" }, { "old_path": "doc/Elpi_util/Util/Map/Make/index.html", "new_path": "doc/elpi.util/Elpi_util/Util/Map/Make/index.html" }, { "old_path": "doc/Elpi_util/Util/IntMap/index.html", "new_path": "doc/elpi.util/Elpi_util/Util/IntMap/index.html" }, { "old_path": "doc/Elpi_util/Union_find/Make/index.html", "new_path": "doc/elpi.util/Elpi_util/Union_find/Make/index.html" }, { "old_path": "doc/Elpi_parser/Ast/Type/index.html", "new_path": "doc/elpi.parser/Elpi_parser/Ast/Type/index.html" }, { "old_path": "doc/Elpi_runtime/Runtime/Pp/index.html", "new_path": "doc/elpi.runtime/Elpi_runtime/Runtime/Pp/index.html" }, { "old_path": "doc/Elpi_compiler/Compiler_data/index.html", "new_path": "doc/elpi.compiler/Elpi_compiler/Compiler_data/index.html" }, { "old_path": "doc/Elpi_parser/Ast/Func/Set/index.html", "new_path": "doc/elpi.parser/Elpi_parser/Ast/Func/Set/index.html" }, { "old_path": "doc/Elpi_parser/Parser_config/module-type-ParseFile/index.html", "new_path": "doc/elpi.parser/Elpi_parser/Parser_config/module-type-ParseFile/index.html" }, { "old_path": "doc/Elpi_util/Util/Set/module-type-S/index.html", "new_path": "doc/elpi.util/Elpi_util/Util/Set/module-type-S/index.html" }, { "old_path": "doc/Elpi_util/Util/String/index.html", "new_path": "doc/elpi.util/Elpi_util/Util/String/index.html" }, { "old_path": "doc/Elpi_compiler/Compiler_data/Arity/index.html", "new_path": "doc/elpi.compiler/Elpi_compiler/Compiler_data/Arity/index.html" }, { "old_path": "doc/Elpi_lexer_config/Lexer_config/index.html", "new_path": "doc/elpi.lexer_config/Elpi_lexer_config/Lexer_config/index.html" }, { "old_path": "doc/Elpi/API/Ast/index.html", "new_path": "doc/elpi/Elpi/API/Ast/index.html" }, { "old_path": "doc/Elpi/API/RawData/Constants/Set/index.html", "new_path": "doc/elpi/Elpi/API/RawData/Constants/Set/index.html" }, { "old_path": "doc/Elpi_util/Util/Hashtbl/module-type-SeededHashedType/index.html", "new_path": "doc/elpi.util/Elpi_util/Util/Hashtbl/module-type-SeededHashedType/index.html" }, { "old_path": "doc/Elpi/API/Compile/StrSet/index.html", "new_path": "doc/elpi/Elpi/API/Compile/StrSet/index.html" }, { "old_path": "doc/Elpi/API/Utils/LocSet/index.html", "new_path": "doc/elpi/Elpi/API/Utils/LocSet/index.html" }, { "old_path": "doc/Elpi_compiler/Compiler/index.html", "new_path": "doc/elpi.compiler/Elpi_compiler/Compiler/index.html" }, { "old_path": "doc/Elpi_runtime/Ptmap/index.html", "new_path": "doc/elpi.runtime/Elpi_runtime/Ptmap/index.html" }, { "old_path": "doc/Elpi_util/Util/Map/index.html", "new_path": "doc/elpi.util/Elpi_util/Util/Map/index.html" }, { "old_path": "doc/Elpi_util/Util/Hashtbl/MakeSeeded/argument-1-H/index.html", "new_path": "doc/elpi.util/Elpi_util/Util/Hashtbl/MakeSeeded/argument-1-H/index.html" }, { "old_path": "doc/Elpi_runtime/Data/Symbol/UF/KeySet/index.html", "new_path": "doc/elpi.runtime/Elpi_runtime/Data/Symbol/UF/KeySet/index.html" }, { "old_path": "doc/Elpi/API/Setup/StrMap/index.html", "new_path": "doc/elpi/Elpi/API/Setup/StrMap/index.html" }, { "old_path": "doc/Elpi_runtime/Data/HoasHooks/index.html", "new_path": "doc/elpi.runtime/Elpi_runtime/Data/HoasHooks/index.html" }, { "old_path": "doc/Elpi_compiler/Compiler_data/Scope/Map/index.html", "new_path": "doc/elpi.compiler/Elpi_compiler/Compiler_data/Scope/Map/index.html" }, { "old_path": "doc/Elpi_compiler/index.html", "new_path": "doc/elpi.compiler/Elpi_compiler/index.html" }, { "old_path": "doc/Elpi_util/Util/CData/index.html", "new_path": "doc/elpi.util/Elpi_util/Util/CData/index.html" }, { "old_path": "doc/Elpi/API/Utils/Map/module-type-S/index.html", "new_path": "doc/elpi/Elpi/API/Utils/Map/module-type-S/index.html" }, { "old_path": "doc/Elpi_compiler/Compiler_data/SymbolResolver/index.html", "new_path": "doc/elpi.compiler/Elpi_compiler/Compiler_data/SymbolResolver/index.html" }, { "old_path": "doc/Elpi_util/Util/StrSet/index.html", "new_path": "doc/elpi.util/Elpi_util/Util/StrSet/index.html" }, { "old_path": "doc/Elpi_compiler/Compiler_data/ScopedTerm/index.html", "new_path": "doc/elpi.compiler/Elpi_compiler/Compiler_data/ScopedTerm/index.html" }, { "old_path": "doc/Elpi_parser/Error_messages/index.html", "new_path": "doc/elpi.parser/Elpi_parser/Error_messages/index.html" }, { "old_path": "doc/Elpi_util/Util/UUID/Htbl/index.html", "new_path": "doc/elpi.util/Elpi_util/Util/UUID/Htbl/index.html" }, { "old_path": "doc/Elpi_util/Util/Set/Make/index.html", "new_path": "doc/elpi.util/Elpi_util/Util/Set/Make/index.html" }, { "old_path": "doc/Elpi/Builtin/index.html", "new_path": "doc/elpi/Elpi/Builtin/index.html" }, { "old_path": "doc/Elpi/API/RawQuery/index.html", "new_path": "doc/elpi/Elpi/API/RawQuery/index.html" }, { "old_path": "doc/Elpi/index.html", "new_path": "doc/elpi/Elpi/index.html" }, { "old_path": "doc/Elpi_util/Util/Constants/Set/index.html", "new_path": "doc/elpi.util/Elpi_util/Util/Constants/Set/index.html" }, { "old_path": "doc/Elpi_parser/Grammar/Make/index.html", "new_path": "doc/elpi.parser/Elpi_parser/Grammar/Make/index.html" }, { "old_path": "doc/Elpi/API/Utils/Set/module-type-OrderedType/index.html", "new_path": "doc/elpi/Elpi/API/Utils/Set/module-type-OrderedType/index.html" }, { "old_path": "doc/Elpi/API/index.html", "new_path": "doc/elpi/Elpi/API/index.html" }, { "old_path": "doc/Elpi_util/Union_find/Make/KeySet/index.html", "new_path": "doc/elpi.util/Elpi_util/Union_find/Make/KeySet/index.html" }, { "old_path": "doc/Elpi_util/Util/module-type-Show2/index.html", "new_path": "doc/elpi.util/Elpi_util/Util/module-type-Show2/index.html" }, { "old_path": "doc/Elpi_parser/Parse/module-type-Parser_w_Internals/Internal/index.html", "new_path": "doc/elpi.parser/Elpi_parser/Parse/module-type-Parser_w_Internals/Internal/index.html" }, { "old_path": "doc/Elpi/API/Ast/Loc/index.html", "new_path": "doc/elpi/Elpi/API/Ast/Loc/index.html" }, { "old_path": "doc/Elpi/API/Ast/Scope/index.html", "new_path": "doc/elpi/Elpi/API/Ast/Scope/index.html" }, { "old_path": "doc/Elpi_parser/Ast/Macro/index.html", "new_path": "doc/elpi.parser/Elpi_parser/Ast/Macro/index.html" }, { "old_path": "doc/Elpi_runtime/Data/Conversion/index.html", "new_path": "doc/elpi.runtime/Elpi_runtime/Data/Conversion/index.html" }, { "old_path": "doc/Elpi_runtime/Data/BuiltInPredicate/index.html", "new_path": "doc/elpi.runtime/Elpi_runtime/Data/BuiltInPredicate/index.html" }, { "old_path": "doc/Trace_ppx/index.html", "new_path": "doc/trace_ppx/Trace_ppx/index.html" }, { "old_path": "doc/Elpi/API/Ast/Term/index.html", "new_path": "doc/elpi/Elpi/API/Ast/Term/index.html" }, { "old_path": "doc/Elpi_runtime/Runtime_trace_off/Indexing/index.html", "new_path": "doc/elpi.runtime/Elpi_runtime/Runtime_trace_off/Indexing/index.html" }, { "old_path": "doc/Elpi_parser/Parse/Make/Internal/index.html", "new_path": "doc/elpi.parser/Elpi_parser/Parse/Make/Internal/index.html" }, { "old_path": "doc/Elpi/API/FlexibleData/Map/index.html", "new_path": "doc/elpi/Elpi/API/FlexibleData/Map/index.html" }, { "old_path": "doc/Elpi_util/Util/Fork/index.html", "new_path": "doc/elpi.util/Elpi_util/Util/Fork/index.html" }, { "old_path": "doc/Elpi/API/FlexibleData/module-type-Show/index.html", "new_path": "doc/elpi/Elpi/API/FlexibleData/module-type-Show/index.html" }, { "old_path": "doc/Elpi_util/Util/Map/module-type-OrderedType/index.html", "new_path": "doc/elpi.util/Elpi_util/Util/Map/module-type-OrderedType/index.html" }, { "old_path": "doc/Elpi/API/Calc/index.html", "new_path": "doc/elpi/Elpi/API/Calc/index.html" }, { "old_path": "doc/Elpi_parser/Ast/Func/Map/index.html", "new_path": "doc/elpi.parser/Elpi_parser/Ast/Func/Map/index.html" }, { "old_path": "doc/Elpi_runtime/Data/CHR/index.html", "new_path": "doc/elpi.runtime/Elpi_runtime/Data/CHR/index.html" }, { "old_path": "doc/Elpi_runtime/Runtime/Indexing/index.html", "new_path": "doc/elpi.runtime/Elpi_runtime/Runtime/Indexing/index.html" }, { "old_path": "doc/Elpi_runtime/Runtime_trace_off/Pp/index.html", "new_path": "doc/elpi.runtime/Elpi_runtime/Runtime_trace_off/Pp/index.html" }, { "old_path": "doc/Elpi/API/OpaqueData/index.html", "new_path": "doc/elpi/Elpi/API/OpaqueData/index.html" }, { "old_path": "doc/Elpi/API/Utils/Set/module-type-S/index.html", "new_path": "doc/elpi/Elpi/API/Utils/Set/module-type-S/index.html" }, { "old_path": "doc/Elpi_parser/Ast/TypeExpression/index.html", "new_path": "doc/elpi.parser/Elpi_parser/Ast/TypeExpression/index.html" }, { "old_path": "doc/Elpi_util/Util/module-type-ShowKey/index.html", "new_path": "doc/elpi.util/Elpi_util/Util/module-type-ShowKey/index.html" }, { "old_path": "doc/Elpi_compiler/Compiler_data/Scope/Set/index.html", "new_path": "doc/elpi.compiler/Elpi_compiler/Compiler_data/Scope/Set/index.html" }, { "old_path": "doc/Elpi_parser/Ast/TypeAbbreviation/index.html", "new_path": "doc/elpi.parser/Elpi_parser/Ast/TypeAbbreviation/index.html" }, { "old_path": "doc/Elpi_util/Util/module-type-Mode/index.html", "new_path": "doc/elpi.util/Elpi_util/Util/module-type-Mode/index.html" }, { "old_path": "doc/Elpi_compiler/Compiler_data/ScopedTerm/QTerm/index.html", "new_path": "doc/elpi.compiler/Elpi_compiler/Compiler_data/ScopedTerm/QTerm/index.html" }, { "old_path": "doc/Elpi_util/Util/Hashtbl/index.html", "new_path": "doc/elpi.util/Elpi_util/Util/Hashtbl/index.html" }, { "old_path": "doc/Trace_ppx_runtime/index.html", "new_path": "doc/trace_ppx_runtime/Trace_ppx_runtime/index.html" }, { "old_path": "doc/Elpi_util/Union_find/module-type-S/index.html", "new_path": "doc/elpi.util/Elpi_util/Union_find/module-type-S/index.html" }, { "old_path": "doc/Elpi_util/Util/Set/index.html", "new_path": "doc/elpi.util/Elpi_util/Util/Set/index.html" }, { "old_path": "doc/Elpi/API/Parse/index.html", "new_path": "doc/elpi/Elpi/API/Parse/index.html" }, { "old_path": "doc/Elpi/API/Utils/module-type-Show/index.html", "new_path": "doc/elpi/Elpi/API/Utils/module-type-Show/index.html" }, { "old_path": "doc/Elpi/API/Utils/Set/Make/index.html", "new_path": "doc/elpi/Elpi/API/Utils/Set/Make/index.html" }, { "old_path": "doc/Elpi_parser/Ast/Goal/index.html", "new_path": "doc/elpi.parser/Elpi_parser/Ast/Goal/index.html" }, { "old_path": "doc/Elpi_util/Util/Hashtbl/Make/argument-1-H/index.html", "new_path": "doc/elpi.util/Elpi_util/Util/Hashtbl/Make/argument-1-H/index.html" }, { "old_path": "doc/Elpi/API/BuiltInData/index.html", "new_path": "doc/elpi/Elpi/API/BuiltInData/index.html" }, { "old_path": "doc/Elpi_parser/Parse/Make/argument-1-C/index.html", "new_path": "doc/elpi.parser/Elpi_parser/Parse/Make/argument-1-C/index.html" }, { "old_path": "doc/Elpi/API/Utils/Set/index.html", "new_path": "doc/elpi/Elpi/API/Utils/Set/index.html" }, { "old_path": "doc/Elpi_parser/Ast/index.html", "new_path": "doc/elpi.parser/Elpi_parser/Ast/index.html" }, { "old_path": "doc/Elpi_runtime/Data/Term/index.html", "new_path": "doc/elpi.runtime/Elpi_runtime/Data/Term/index.html" }, { "old_path": "doc/Elpi_util/Util/index.html", "new_path": "doc/elpi.util/Elpi_util/Util/index.html" }, { "old_path": "doc/Elpi_util/Util/Hashtbl/module-type-S/index.html", "new_path": "doc/elpi.util/Elpi_util/Util/Hashtbl/module-type-S/index.html" }, { "old_path": "doc/Elpi_runtime/Data/Symbol/UF/index.html", "new_path": "doc/elpi.runtime/Elpi_runtime/Data/Symbol/UF/index.html" }, { "old_path": "doc/Elpi/API/AlgebraicData/index.html", "new_path": "doc/elpi/Elpi/API/AlgebraicData/index.html" }, { "old_path": "doc/Elpi/API/FlexibleData/module-type-Host/index.html", "new_path": "doc/elpi/Elpi/API/FlexibleData/module-type-Host/index.html" }, { "old_path": "doc/Elpi_parser/Ast/Program/index.html", "new_path": "doc/elpi.parser/Elpi_parser/Ast/Program/index.html" }, { "old_path": "doc/Elpi/API/Pp/index.html", "new_path": "doc/elpi/Elpi/API/Pp/index.html" }, { "old_path": "doc/Elpi_util/Util/Hashtbl/module-type-HashedType/index.html", "new_path": "doc/elpi.util/Elpi_util/Util/Hashtbl/module-type-HashedType/index.html" }, { "old_path": "doc/Elpi_util/Util/module-type-Show/index.html", "new_path": "doc/elpi.util/Elpi_util/Util/module-type-Show/index.html" }, { "old_path": "doc/Elpi/API/BuiltInPredicate/index.html", "new_path": "doc/elpi/Elpi/API/BuiltInPredicate/index.html" }, { "old_path": "doc/Elpi_runtime/Discrimination_tree/index.html", "new_path": "doc/elpi.runtime/Elpi_runtime/Discrimination_tree/index.html" }, { "old_path": "doc/Elpi/API/Compile/IntervalTree/index.html", "new_path": "doc/elpi/Elpi/API/Compile/IntervalTree/index.html" }, { "old_path": "doc/Elpi_compiler/Compiler_data/ScopeTypeExpressionUniqueList/index.html", "new_path": "doc/elpi.compiler/Elpi_compiler/Compiler_data/ScopeTypeExpressionUniqueList/index.html" }, { "old_path": "doc/Elpi_parser/Ast/Chr/index.html", "new_path": "doc/elpi.parser/Elpi_parser/Ast/Chr/index.html" }, { "old_path": "doc/Elpi/API/Ast/Type/index.html", "new_path": "doc/elpi/Elpi/API/Ast/Type/index.html" }, { "old_path": "doc/Elpi/API/Pp/Ast/index.html", "new_path": "doc/elpi/Elpi/API/Pp/Ast/index.html" }, { "old_path": "doc/Elpi/API/RawData/Constants/index.html", "new_path": "doc/elpi/Elpi/API/RawData/Constants/index.html" }, { "old_path": "doc/Elpi/API/Compile/index.html", "new_path": "doc/elpi/Elpi/API/Compile/index.html" }, { "old_path": "doc/Elpi/API/Utils/Set/Make/argument-1-Ord/index.html", "new_path": "doc/elpi/Elpi/API/Utils/Set/Make/argument-1-Ord/index.html" }, { "old_path": "doc/Elpi_runtime/Data/ContextualConversion/index.html", "new_path": "doc/elpi.runtime/Elpi_runtime/Data/ContextualConversion/index.html" }, { "old_path": "doc/Elpi_util/Union_find/module-type-S/KeySet/index.html", "new_path": "doc/elpi.util/Elpi_util/Union_find/module-type-S/KeySet/index.html" }, { "old_path": "doc/Elpi/API/BuiltInPredicate/HOAdaptors/index.html", "new_path": "doc/elpi/Elpi/API/BuiltInPredicate/HOAdaptors/index.html" }, { "old_path": "doc/Elpi/API/Utils/Map/index.html", "new_path": "doc/elpi/Elpi/API/Utils/Map/index.html" }, { "old_path": "doc/Elpi/API/Utils/Map/Make/index.html", "new_path": "doc/elpi/Elpi/API/Utils/Map/Make/index.html" }, { "old_path": "doc/Elpi_parser/Grammar/index.html", "new_path": "doc/elpi.parser/Elpi_parser/Grammar/index.html" }, { "old_path": "doc/Elpi_runtime/Data/index.html", "new_path": "doc/elpi.runtime/Elpi_runtime/Data/index.html" }, { "old_path": "doc/Elpi_runtime/Data/Term/C/index.html", "new_path": "doc/elpi.runtime/Elpi_runtime/Data/Term/C/index.html" }, { "old_path": "doc/Elpi_runtime/Data/BuiltInPredicate/ADT/index.html", "new_path": "doc/elpi.runtime/Elpi_runtime/Data/BuiltInPredicate/ADT/index.html" }, { "old_path": "doc/Elpi_util/Util/Constants/Map/index.html", "new_path": "doc/elpi.util/Elpi_util/Util/Constants/Map/index.html" }, { "old_path": "doc/Elpi/API/State/index.html", "new_path": "doc/elpi/Elpi/API/State/index.html" }, { "old_path": "doc/Elpi_lexer_config/index.html", "new_path": "doc/elpi.lexer_config/Elpi_lexer_config/index.html" }, { "old_path": "doc/Elpi_parser/Parser_config/index.html", "new_path": "doc/elpi.parser/Elpi_parser/Parser_config/index.html" }, { "old_path": "doc/Elpi_runtime/index.html", "new_path": "doc/elpi.runtime/Elpi_runtime/index.html" }, { "old_path": "doc/Elpi/API/FlexibleData/Map/argument-1-Host/index.html", "new_path": "doc/elpi/Elpi/API/FlexibleData/Map/argument-1-Host/index.html" }, { "old_path": "doc/Elpi_util/Util/module-type-Show1/index.html", "new_path": "doc/elpi.util/Elpi_util/Util/module-type-Show1/index.html" }, { "old_path": "doc/Elpi_parser/index.html", "new_path": "doc/elpi.parser/Elpi_parser/index.html" }, { "old_path": "doc/Elpi_parser/Parse/index.html", "new_path": "doc/elpi.parser/Elpi_parser/Parse/index.html" }, { "old_path": "doc/Elpi_runtime/Data/CalcHooks/index.html", "new_path": "doc/elpi.runtime/Elpi_runtime/Data/CalcHooks/index.html" }, { "old_path": "doc/Elpi/API/ContextualConversion/index.html", "new_path": "doc/elpi/Elpi/API/ContextualConversion/index.html" }, { "old_path": "doc/Elpi/API/RawOpaqueData/index.html", "new_path": "doc/elpi/Elpi/API/RawOpaqueData/index.html" }, { "old_path": "doc/Elpi_parser/Ast/Clause/index.html", "new_path": "doc/elpi.parser/Elpi_parser/Ast/Clause/index.html" }, { "old_path": "doc/Elpi_runtime/Data/Symbol/index.html", "new_path": "doc/elpi.runtime/Elpi_runtime/Data/Symbol/index.html" }, { "old_path": "doc/Elpi_util/Util/Hashtbl/module-type-SeededS/index.html", "new_path": "doc/elpi.util/Elpi_util/Util/Hashtbl/module-type-SeededS/index.html" }, { "old_path": "doc/Elpi/API/Utils/Map/module-type-OrderedType/index.html", "new_path": "doc/elpi/Elpi/API/Utils/Map/module-type-OrderedType/index.html" }, { "old_path": "doc/Elpi/API/Ast/Name/index.html", "new_path": "doc/elpi/Elpi/API/Ast/Name/index.html" }, { "old_path": "doc/Elpi/API/Execute/index.html", "new_path": "doc/elpi/Elpi/API/Execute/index.html" }, { "old_path": "doc/Elpi_runtime/Data/Global_symbols/index.html", "new_path": "doc/elpi.runtime/Elpi_runtime/Data/Global_symbols/index.html" }, { "old_path": "doc/Elpi_runtime/Discrimination_tree/Path/index.html", "new_path": "doc/elpi.runtime/Elpi_runtime/Discrimination_tree/Path/index.html" }, { "old_path": "doc/Elpi_runtime/Data/Symbol/QMap/index.html", "new_path": "doc/elpi.runtime/Elpi_runtime/Data/Symbol/QMap/index.html" }, { "old_path": "doc/Elpi_runtime/Discrimination_tree/Internal/index.html", "new_path": "doc/elpi.runtime/Elpi_runtime/Discrimination_tree/Internal/index.html" }, { "old_path": "doc/Elpi_util/Util/Constants/index.html", "new_path": "doc/elpi.util/Elpi_util/Util/Constants/index.html" }, { "old_path": "doc/Elpi_compiler/Compiler_data/ScopeContext/index.html", "new_path": "doc/elpi.compiler/Elpi_compiler/Compiler_data/ScopeContext/index.html" }, { "old_path": "doc/Elpi/API/Data/index.html", "new_path": "doc/elpi/Elpi/API/Data/index.html" }, { "old_path": "doc/Elpi_compiler/Compiler_data/ScopedTypeExpression/SimpleType/index.html", "new_path": "doc/elpi.compiler/Elpi_compiler/Compiler_data/ScopedTypeExpression/SimpleType/index.html" }, { "old_path": "doc/Elpi_parser/Lexer/index.html", "new_path": "doc/elpi.parser/Elpi_parser/Lexer/index.html" }, { "old_path": "doc/Elpi_runtime/Data/State/index.html", "new_path": "doc/elpi.runtime/Elpi_runtime/Data/State/index.html" }, { "old_path": "doc/Elpi_util/Util/Set/module-type-OrderedType/index.html", "new_path": "doc/elpi.util/Elpi_util/Util/Set/module-type-OrderedType/index.html" }, { "old_path": "doc/Elpi_util/Util/Digest/index.html", "new_path": "doc/elpi.util/Elpi_util/Util/Digest/index.html" }, { "old_path": "doc/Elpi_util/Util/Mode/index.html", "new_path": "doc/elpi.util/Elpi_util/Util/Mode/index.html" }, { "old_path": "doc/Elpi_compiler/Compiler_data/QuotationHooks/index.html", "new_path": "doc/elpi.compiler/Elpi_compiler/Compiler_data/QuotationHooks/index.html" }, { "old_path": "doc/Elpi/API/RawData/Constants/Map/index.html", "new_path": "doc/elpi/Elpi/API/RawData/Constants/Map/index.html" }, { "old_path": "doc/Elpi_compiler/Compiler_data/MutableOnce/index.html", "new_path": "doc/elpi.compiler/Elpi_compiler/Compiler_data/MutableOnce/index.html" }, { "old_path": "doc/Elpi_compiler/Spilling/index.html", "new_path": "doc/elpi.compiler/Elpi_compiler/Spilling/index.html" }, { "old_path": "doc/Elpi_util/Util/Map/Make/argument-1-Ord/index.html", "new_path": "doc/elpi.util/Elpi_util/Util/Map/Make/argument-1-Ord/index.html" }, { "old_path": "doc/Elpi/API/FlexibleData/index.html", "new_path": "doc/elpi/Elpi/API/FlexibleData/index.html" }, { "old_path": "doc/Elpi_parser/Ast/Term/index.html", "new_path": "doc/elpi.parser/Elpi_parser/Ast/Term/index.html" }, { "old_path": "doc/Elpi_parser/Parse/module-type-Config/index.html", "new_path": "doc/elpi.parser/Elpi_parser/Parse/module-type-Config/index.html" }, { "old_path": "doc/Elpi_util/Union_find/index.html", "new_path": "doc/elpi.util/Elpi_util/Union_find/index.html" } ] }