{ "name": "fix", "version": "20250919", "files": [ "doc/fix/Fix/Make/argument-2-P/index.html", "doc/fix/Fix/Make/argument-1-M/index.html", "doc/fix/Fix/Make/index.html", "doc/fix/Fix/Fix/ForType/argument-2-P/index.html", "doc/fix/Fix/Fix/ForType/argument-1-T/index.html", "doc/fix/Fix/Fix/ForType/index.html", "doc/fix/Fix/Fix/ForHashedType/argument-2-P/index.html", "doc/fix/Fix/Fix/ForHashedType/argument-1-T/index.html", "doc/fix/Fix/Fix/ForHashedType/index.html", "doc/fix/Fix/Fix/ForOrderedType/argument-2-P/index.html", "doc/fix/Fix/Fix/ForOrderedType/argument-1-T/index.html", "doc/fix/Fix/Fix/ForOrderedType/index.html", "doc/fix/Fix/Fix/Make/argument-2-P/index.html", "doc/fix/Fix/Fix/Make/argument-1-M/index.html", "doc/fix/Fix/Fix/Make/index.html", "doc/fix/Fix/Fix/index.html", "doc/fix/Fix/Prop/Set/argument-1-X/index.html", "doc/fix/Fix/Prop/Set/index.html", "doc/fix/Fix/Prop/Option/argument-1-X/index.html", "doc/fix/Fix/Prop/Option/index.html", "doc/fix/Fix/Prop/Boolean/index.html", "doc/fix/Fix/Prop/index.html", "doc/fix/Fix/SCC/Run/argument-1-G/index.html", "doc/fix/Fix/SCC/Run/index.html", "doc/fix/Fix/SCC/index.html", "doc/fix/Fix/Minimize/Minimize/argument-2-A/index.html", "doc/fix/Fix/Minimize/Minimize/argument-1-Label/index.html", "doc/fix/Fix/Minimize/Minimize/index.html", "doc/fix/Fix/Minimize/module-type-DFA/index.html", "doc/fix/Fix/Minimize/index.html", "doc/fix/Fix/Partition/index.html", "doc/fix/Fix/Enum/index.html", "doc/fix/Fix/CompactQueue/index.html", "doc/fix/Fix/DataFlow/ForCustomMaps/argument-4-B/index.html", "doc/fix/Fix/DataFlow/ForCustomMaps/argument-3-V/index.html", "doc/fix/Fix/DataFlow/ForCustomMaps/argument-2-G/index.html", "doc/fix/Fix/DataFlow/ForCustomMaps/argument-1-P/index.html", "doc/fix/Fix/DataFlow/ForCustomMaps/index.html", "doc/fix/Fix/DataFlow/ForIntSegment/argument-3-G/index.html", "doc/fix/Fix/DataFlow/ForIntSegment/argument-2-P/index.html", "doc/fix/Fix/DataFlow/ForIntSegment/argument-1-K/index.html", "doc/fix/Fix/DataFlow/ForIntSegment/index.html", "doc/fix/Fix/DataFlow/ForType/argument-3-G/index.html", "doc/fix/Fix/DataFlow/ForType/argument-2-P/index.html", "doc/fix/Fix/DataFlow/ForType/argument-1-T/index.html", "doc/fix/Fix/DataFlow/ForType/index.html", "doc/fix/Fix/DataFlow/ForHashedType/argument-3-G/index.html", "doc/fix/Fix/DataFlow/ForHashedType/argument-2-P/index.html", "doc/fix/Fix/DataFlow/ForHashedType/argument-1-T/index.html", "doc/fix/Fix/DataFlow/ForHashedType/index.html", "doc/fix/Fix/DataFlow/ForOrderedType/argument-3-G/index.html", "doc/fix/Fix/DataFlow/ForOrderedType/argument-2-P/index.html", "doc/fix/Fix/DataFlow/ForOrderedType/argument-1-T/index.html", "doc/fix/Fix/DataFlow/ForOrderedType/index.html", "doc/fix/Fix/DataFlow/Run/argument-3-G/index.html", "doc/fix/Fix/DataFlow/Run/argument-2-P/index.html", "doc/fix/Fix/DataFlow/Run/argument-1-M/index.html", "doc/fix/Fix/DataFlow/Run/index.html", "doc/fix/Fix/DataFlow/index.html", "doc/fix/Fix/HashCons/ForHashedTypeWeak/argument-1-T/index.html", "doc/fix/Fix/HashCons/ForHashedTypeWeak/index.html", "doc/fix/Fix/HashCons/ForHashedType/argument-1-T/index.html", "doc/fix/Fix/HashCons/ForHashedType/index.html", "doc/fix/Fix/HashCons/Make/argument-1-M/index.html", "doc/fix/Fix/HashCons/Make/index.html", "doc/fix/Fix/HashCons/module-type-SERVICE/index.html", "doc/fix/Fix/HashCons/index.html", "doc/fix/Fix/Gensym/index.html", "doc/fix/Fix/Tabulate/ForNumberedType/argument-1-T/index.html", "doc/fix/Fix/Tabulate/ForNumberedType/index.html", "doc/fix/Fix/Tabulate/ForIntSegment/argument-1-K/index.html", "doc/fix/Fix/Tabulate/ForIntSegment/index.html", "doc/fix/Fix/Tabulate/ForType/argument-1-F/index.html", "doc/fix/Fix/Tabulate/ForType/index.html", "doc/fix/Fix/Tabulate/ForHashedType/argument-2-T/index.html", "doc/fix/Fix/Tabulate/ForHashedType/argument-1-F/index.html", "doc/fix/Fix/Tabulate/ForHashedType/index.html", "doc/fix/Fix/Tabulate/ForOrderedType/argument-2-T/index.html", "doc/fix/Fix/Tabulate/ForOrderedType/argument-1-F/index.html", "doc/fix/Fix/Tabulate/ForOrderedType/index.html", "doc/fix/Fix/Tabulate/Make/argument-2-M/index.html", "doc/fix/Fix/Tabulate/Make/argument-1-F/index.html", "doc/fix/Fix/Tabulate/Make/index.html", "doc/fix/Fix/Tabulate/index.html", "doc/fix/Fix/Indexing/Vector/Of_array/argument-1-A/index.html", "doc/fix/Fix/Indexing/Vector/Of_array/index.html", "doc/fix/Fix/Indexing/Vector/module-type-V/index.html", "doc/fix/Fix/Indexing/Vector/index.html", "doc/fix/Fix/Indexing/Index/index.html", "doc/fix/Fix/Indexing/Sum/argument-2-R/index.html", "doc/fix/Fix/Indexing/Sum/argument-1-L/index.html", "doc/fix/Fix/Indexing/Sum/index.html", "doc/fix/Fix/Indexing/module-type-SUM/index.html", "doc/fix/Fix/Indexing/Gensym/index.html", "doc/fix/Fix/Indexing/Empty/index.html", "doc/fix/Fix/Indexing/Const/argument-1-X/index.html", "doc/fix/Fix/Indexing/Const/index.html", "doc/fix/Fix/Indexing/module-type-CARDINAL/index.html", "doc/fix/Fix/Indexing/index.html", "doc/fix/Fix/GraphNumbering/ForType/argument-2-G/index.html", "doc/fix/Fix/GraphNumbering/ForType/argument-1-T/index.html", "doc/fix/Fix/GraphNumbering/ForType/index.html", "doc/fix/Fix/GraphNumbering/ForHashedType/argument-2-G/index.html", "doc/fix/Fix/GraphNumbering/ForHashedType/argument-1-T/index.html", "doc/fix/Fix/GraphNumbering/ForHashedType/index.html", "doc/fix/Fix/GraphNumbering/ForOrderedType/argument-2-G/index.html", "doc/fix/Fix/GraphNumbering/ForOrderedType/argument-1-T/index.html", "doc/fix/Fix/GraphNumbering/ForOrderedType/index.html", "doc/fix/Fix/GraphNumbering/Make/argument-2-G/index.html", "doc/fix/Fix/GraphNumbering/Make/argument-1-M/index.html", "doc/fix/Fix/GraphNumbering/Make/index.html", "doc/fix/Fix/GraphNumbering/index.html", "doc/fix/Fix/Numbering/ForType/Done/index.html", "doc/fix/Fix/Numbering/ForType/argument-1-T/index.html", "doc/fix/Fix/Numbering/ForType/index.html", "doc/fix/Fix/Numbering/ForHashedType/Done/index.html", "doc/fix/Fix/Numbering/ForHashedType/argument-1-T/index.html", "doc/fix/Fix/Numbering/ForHashedType/index.html", "doc/fix/Fix/Numbering/ForOrderedType/Done/index.html", "doc/fix/Fix/Numbering/ForOrderedType/argument-1-T/index.html", "doc/fix/Fix/Numbering/ForOrderedType/index.html", "doc/fix/Fix/Numbering/Make/Done/index.html", "doc/fix/Fix/Numbering/Make/argument-1-M/index.html", "doc/fix/Fix/Numbering/Make/index.html", "doc/fix/Fix/Numbering/index.html", "doc/fix/Fix/Memoize/String/index.html", "doc/fix/Fix/Memoize/Int/index.html", "doc/fix/Fix/Memoize/Char/index.html", "doc/fix/Fix/Memoize/ForType/argument-1-T/index.html", "doc/fix/Fix/Memoize/ForType/index.html", "doc/fix/Fix/Memoize/ForHashedType/argument-1-T/index.html", "doc/fix/Fix/Memoize/ForHashedType/index.html", "doc/fix/Fix/Memoize/ForOrderedType/argument-1-T/index.html", "doc/fix/Fix/Memoize/ForOrderedType/index.html", "doc/fix/Fix/Memoize/Make/argument-1-M/index.html", "doc/fix/Fix/Memoize/Make/index.html", "doc/fix/Fix/Memoize/index.html", "doc/fix/Fix/Glue/MinimalSemiLattice/argument-1-P/index.html", "doc/fix/Fix/Glue/MinimalSemiLattice/index.html", "doc/fix/Fix/Glue/WeakHashTablesAsImperativeMaps/argument-1-H/index.html", "doc/fix/Fix/Glue/WeakHashTablesAsImperativeMaps/index.html", "doc/fix/Fix/Glue/HashTablesAsImperativeMaps/argument-1-H/index.html", "doc/fix/Fix/Glue/HashTablesAsImperativeMaps/index.html", "doc/fix/Fix/Glue/ArraysAsImperativeMaps/argument-1-K/index.html", "doc/fix/Fix/Glue/ArraysAsImperativeMaps/index.html", "doc/fix/Fix/Glue/PersistentMapsToImperativeMaps/argument-1-M/index.html", "doc/fix/Fix/Glue/PersistentMapsToImperativeMaps/index.html", "doc/fix/Fix/Glue/InjectImperativeMaps/argument-3-J/index.html", "doc/fix/Fix/Glue/InjectImperativeMaps/argument-2-I/index.html", "doc/fix/Fix/Glue/InjectImperativeMaps/argument-1-M/index.html", "doc/fix/Fix/Glue/InjectImperativeMaps/index.html", "doc/fix/Fix/Glue/InjectMinimalImperativeMaps/argument-2-I/index.html", "doc/fix/Fix/Glue/InjectMinimalImperativeMaps/argument-1-M/index.html", "doc/fix/Fix/Glue/InjectMinimalImperativeMaps/index.html", "doc/fix/Fix/Glue/InjectHashedType/argument-2-I/index.html", "doc/fix/Fix/Glue/InjectHashedType/argument-1-U/index.html", "doc/fix/Fix/Glue/InjectHashedType/index.html", "doc/fix/Fix/Glue/InjectOrderedType/argument-2-I/index.html", "doc/fix/Fix/Glue/InjectOrderedType/argument-1-U/index.html", "doc/fix/Fix/Glue/InjectOrderedType/index.html", "doc/fix/Fix/Glue/TrivialHashedType/argument-1-T/index.html", "doc/fix/Fix/Glue/TrivialHashedType/index.html", "doc/fix/Fix/Glue/TrivialOrderedType/argument-1-T/index.html", "doc/fix/Fix/Glue/TrivialOrderedType/index.html", "doc/fix/Fix/Glue/STRING/index.html", "doc/fix/Fix/Glue/INT/index.html", "doc/fix/Fix/Glue/CHAR/index.html", "doc/fix/Fix/Glue/index.html", "doc/fix/Fix/module-type-INJECTION/index.html", "doc/fix/Fix/module-type-TWO_PHASE_NUMBERING/Done/index.html", "doc/fix/Fix/module-type-TWO_PHASE_NUMBERING/index.html", "doc/fix/Fix/module-type-NUMBERING/index.html", "doc/fix/Fix/module-type-ONGOING_NUMBERING/index.html", "doc/fix/Fix/module-type-DATA_FLOW_GRAPH/index.html", "doc/fix/Fix/module-type-GRAPH/index.html", "doc/fix/Fix/module-type-SOLUTION/index.html", "doc/fix/Fix/module-type-SOLVER/index.html", "doc/fix/Fix/module-type-TABULATOR/index.html", "doc/fix/Fix/module-type-MEMOIZER/index.html", "doc/fix/Fix/module-type-MINIMAL_SEMI_LATTICE/index.html", "doc/fix/Fix/module-type-SEMI_LATTICE/index.html", "doc/fix/Fix/module-type-PROPERTY/index.html", "doc/fix/Fix/module-type-ARRAY/index.html", "doc/fix/Fix/module-type-IMPERATIVE_MAPS/index.html", "doc/fix/Fix/module-type-MINIMAL_IMPERATIVE_MAPS/index.html", "doc/fix/Fix/module-type-PERSISTENT_MAPS/index.html", "doc/fix/Fix/module-type-FINITE_TYPE/index.html", "doc/fix/Fix/module-type-TYPE/index.html", "doc/fix/Fix/index.html", "doc/fix/index.html", "doc/src/fix/Fix.ml.html", "doc/src/fix/fix__.ml.html", "doc/src/fix/Boolean.ml.html", "doc/src/fix/Gensym.ml.html", "doc/src/fix/CoreDependencyGraph.ml.html", "doc/src/fix/DataFlow.ml.html", "doc/src/fix/Enum.ml.html", "doc/src/fix/CompactQueue.ml.html", "doc/src/fix/Core.ml.html", "doc/src/fix/HashCons.ml.html", "doc/src/fix/GraphNumbering.ml.html", "doc/src/fix/Memoize.ml.html", "doc/src/fix/Option.ml.html", "doc/src/fix/SCC.ml.html", "doc/src/fix/Glue.ml.html", "doc/src/fix/Set.ml.html", "doc/src/fix/Numbering.ml.html", "doc/src/fix/Tabulate.ml.html", "doc/src/fix/Minimize.ml.html", "doc/src/fix/Indexing.ml.html", "doc/src/fix/Sigs.ml.html", "doc/src/fix/Partition.ml.html", "doc/src/index.html", "doc/README.html", "doc/index.html", "doc/CHANGES.html" ], "failed": false, "redirections": [ { "old_path": "doc/Fix/Fix/ForHashedType/argument-1-T/index.html", "new_path": "doc/fix/Fix/Fix/ForHashedType/argument-1-T/index.html" }, { "old_path": "doc/Fix/Memoize/Char/index.html", "new_path": "doc/fix/Fix/Memoize/Char/index.html" }, { "old_path": "doc/Fix/HashCons/ForHashedType/argument-1-T/index.html", "new_path": "doc/fix/Fix/HashCons/ForHashedType/argument-1-T/index.html" }, { "old_path": "doc/Fix/Minimize/module-type-DFA/index.html", "new_path": "doc/fix/Fix/Minimize/module-type-DFA/index.html" }, { "old_path": "doc/Fix/Make/argument-2-P/index.html", "new_path": "doc/fix/Fix/Make/argument-2-P/index.html" }, { "old_path": "doc/Fix/module-type-MEMOIZER/index.html", "new_path": "doc/fix/Fix/module-type-MEMOIZER/index.html" }, { "old_path": "doc/Fix/Memoize/ForOrderedType/argument-1-T/index.html", "new_path": "doc/fix/Fix/Memoize/ForOrderedType/argument-1-T/index.html" }, { "old_path": "doc/Fix/GraphNumbering/ForType/index.html", "new_path": "doc/fix/Fix/GraphNumbering/ForType/index.html" }, { "old_path": "doc/Fix/Glue/INT/index.html", "new_path": "doc/fix/Fix/Glue/INT/index.html" }, { "old_path": "doc/Fix/DataFlow/ForType/argument-1-T/index.html", "new_path": "doc/fix/Fix/DataFlow/ForType/argument-1-T/index.html" }, { "old_path": "doc/Fix/Numbering/ForOrderedType/index.html", "new_path": "doc/fix/Fix/Numbering/ForOrderedType/index.html" }, { "old_path": "doc/Fix/Glue/InjectMinimalImperativeMaps/argument-2-I/index.html", "new_path": "doc/fix/Fix/Glue/InjectMinimalImperativeMaps/argument-2-I/index.html" }, { "old_path": "doc/Fix/Glue/WeakHashTablesAsImperativeMaps/argument-1-H/index.html", "new_path": "doc/fix/Fix/Glue/WeakHashTablesAsImperativeMaps/argument-1-H/index.html" }, { "old_path": "doc/Fix/Memoize/String/index.html", "new_path": "doc/fix/Fix/Memoize/String/index.html" }, { "old_path": "doc/Fix/GraphNumbering/Make/argument-2-G/index.html", "new_path": "doc/fix/Fix/GraphNumbering/Make/argument-2-G/index.html" }, { "old_path": "doc/Fix/DataFlow/ForIntSegment/argument-3-G/index.html", "new_path": "doc/fix/Fix/DataFlow/ForIntSegment/argument-3-G/index.html" }, { "old_path": "doc/Fix/module-type-TWO_PHASE_NUMBERING/index.html", "new_path": "doc/fix/Fix/module-type-TWO_PHASE_NUMBERING/index.html" }, { "old_path": "doc/Fix/Glue/InjectMinimalImperativeMaps/index.html", "new_path": "doc/fix/Fix/Glue/InjectMinimalImperativeMaps/index.html" }, { "old_path": "doc/Fix/Memoize/Int/index.html", "new_path": "doc/fix/Fix/Memoize/Int/index.html" }, { "old_path": "doc/Fix/GraphNumbering/ForOrderedType/argument-2-G/index.html", "new_path": "doc/fix/Fix/GraphNumbering/ForOrderedType/argument-2-G/index.html" }, { "old_path": "doc/Fix/Indexing/index.html", "new_path": "doc/fix/Fix/Indexing/index.html" }, { "old_path": "doc/Fix/Indexing/Vector/Of_array/argument-1-A/index.html", "new_path": "doc/fix/Fix/Indexing/Vector/Of_array/argument-1-A/index.html" }, { "old_path": "doc/Fix/Glue/InjectImperativeMaps/index.html", "new_path": "doc/fix/Fix/Glue/InjectImperativeMaps/index.html" }, { "old_path": "doc/Fix/module-type-IMPERATIVE_MAPS/index.html", "new_path": "doc/fix/Fix/module-type-IMPERATIVE_MAPS/index.html" }, { "old_path": "doc/Fix/Glue/TrivialHashedType/index.html", "new_path": "doc/fix/Fix/Glue/TrivialHashedType/index.html" }, { "old_path": "doc/Fix/Tabulate/ForHashedType/argument-2-T/index.html", "new_path": "doc/fix/Fix/Tabulate/ForHashedType/argument-2-T/index.html" }, { "old_path": "doc/Fix/DataFlow/index.html", "new_path": "doc/fix/Fix/DataFlow/index.html" }, { "old_path": "doc/Fix/Enum/index.html", "new_path": "doc/fix/Fix/Enum/index.html" }, { "old_path": "doc/Fix/HashCons/module-type-SERVICE/index.html", "new_path": "doc/fix/Fix/HashCons/module-type-SERVICE/index.html" }, { "old_path": "doc/Fix/DataFlow/Run/argument-3-G/index.html", "new_path": "doc/fix/Fix/DataFlow/Run/argument-3-G/index.html" }, { "old_path": "doc/Fix/module-type-INJECTION/index.html", "new_path": "doc/fix/Fix/module-type-INJECTION/index.html" }, { "old_path": "doc/Fix/Glue/PersistentMapsToImperativeMaps/index.html", "new_path": "doc/fix/Fix/Glue/PersistentMapsToImperativeMaps/index.html" }, { "old_path": "doc/Fix/module-type-TYPE/index.html", "new_path": "doc/fix/Fix/module-type-TYPE/index.html" }, { "old_path": "doc/Fix/Numbering/ForType/index.html", "new_path": "doc/fix/Fix/Numbering/ForType/index.html" }, { "old_path": "doc/Fix/module-type-SOLUTION/index.html", "new_path": "doc/fix/Fix/module-type-SOLUTION/index.html" }, { "old_path": "doc/Fix/Numbering/ForType/Done/index.html", "new_path": "doc/fix/Fix/Numbering/ForType/Done/index.html" }, { "old_path": "doc/Fix/Memoize/index.html", "new_path": "doc/fix/Fix/Memoize/index.html" }, { "old_path": "doc/Fix/GraphNumbering/ForHashedType/index.html", "new_path": "doc/fix/Fix/GraphNumbering/ForHashedType/index.html" }, { "old_path": "doc/Fix/DataFlow/Run/argument-2-P/index.html", "new_path": "doc/fix/Fix/DataFlow/Run/argument-2-P/index.html" }, { "old_path": "doc/Fix/Fix/ForType/argument-1-T/index.html", "new_path": "doc/fix/Fix/Fix/ForType/argument-1-T/index.html" }, { "old_path": "doc/Fix/HashCons/ForHashedTypeWeak/index.html", "new_path": "doc/fix/Fix/HashCons/ForHashedTypeWeak/index.html" }, { "old_path": "doc/Fix/DataFlow/ForIntSegment/argument-2-P/index.html", "new_path": "doc/fix/Fix/DataFlow/ForIntSegment/argument-2-P/index.html" }, { "old_path": "doc/Fix/Prop/Set/argument-1-X/index.html", "new_path": "doc/fix/Fix/Prop/Set/argument-1-X/index.html" }, { "old_path": "doc/Fix/Prop/Option/argument-1-X/index.html", "new_path": "doc/fix/Fix/Prop/Option/argument-1-X/index.html" }, { "old_path": "doc/Fix/Fix/index.html", "new_path": "doc/fix/Fix/Fix/index.html" }, { "old_path": "doc/Fix/Glue/InjectOrderedType/argument-2-I/index.html", "new_path": "doc/fix/Fix/Glue/InjectOrderedType/argument-2-I/index.html" }, { "old_path": "doc/Fix/Glue/InjectOrderedType/argument-1-U/index.html", "new_path": "doc/fix/Fix/Glue/InjectOrderedType/argument-1-U/index.html" }, { "old_path": "doc/Fix/GraphNumbering/Make/index.html", "new_path": "doc/fix/Fix/GraphNumbering/Make/index.html" }, { "old_path": "doc/Fix/module-type-TABULATOR/index.html", "new_path": "doc/fix/Fix/module-type-TABULATOR/index.html" }, { "old_path": "doc/Fix/Tabulate/ForNumberedType/argument-1-T/index.html", "new_path": "doc/fix/Fix/Tabulate/ForNumberedType/argument-1-T/index.html" }, { "old_path": "doc/Fix/Glue/HashTablesAsImperativeMaps/index.html", "new_path": "doc/fix/Fix/Glue/HashTablesAsImperativeMaps/index.html" }, { "old_path": "doc/Fix/Numbering/ForHashedType/Done/index.html", "new_path": "doc/fix/Fix/Numbering/ForHashedType/Done/index.html" }, { "old_path": "doc/Fix/SCC/Run/argument-1-G/index.html", "new_path": "doc/fix/Fix/SCC/Run/argument-1-G/index.html" }, { "old_path": "doc/Fix/HashCons/ForHashedType/index.html", "new_path": "doc/fix/Fix/HashCons/ForHashedType/index.html" }, { "old_path": "doc/Fix/module-type-FINITE_TYPE/index.html", "new_path": "doc/fix/Fix/module-type-FINITE_TYPE/index.html" }, { "old_path": "doc/Fix/GraphNumbering/ForOrderedType/argument-1-T/index.html", "new_path": "doc/fix/Fix/GraphNumbering/ForOrderedType/argument-1-T/index.html" }, { "old_path": "doc/Fix/Minimize/index.html", "new_path": "doc/fix/Fix/Minimize/index.html" }, { "old_path": "doc/Fix/Glue/MinimalSemiLattice/index.html", "new_path": "doc/fix/Fix/Glue/MinimalSemiLattice/index.html" }, { "old_path": "doc/Fix/Tabulate/ForNumberedType/index.html", "new_path": "doc/fix/Fix/Tabulate/ForNumberedType/index.html" }, { "old_path": "doc/Fix/GraphNumbering/ForHashedType/argument-1-T/index.html", "new_path": "doc/fix/Fix/GraphNumbering/ForHashedType/argument-1-T/index.html" }, { "old_path": "doc/Fix/Tabulate/ForHashedType/argument-1-F/index.html", "new_path": "doc/fix/Fix/Tabulate/ForHashedType/argument-1-F/index.html" }, { "old_path": "doc/Fix/GraphNumbering/ForOrderedType/index.html", "new_path": "doc/fix/Fix/GraphNumbering/ForOrderedType/index.html" }, { "old_path": "doc/Fix/Tabulate/ForOrderedType/index.html", "new_path": "doc/fix/Fix/Tabulate/ForOrderedType/index.html" }, { "old_path": "doc/Fix/Glue/STRING/index.html", "new_path": "doc/fix/Fix/Glue/STRING/index.html" }, { "old_path": "doc/Fix/DataFlow/ForHashedType/argument-2-P/index.html", "new_path": "doc/fix/Fix/DataFlow/ForHashedType/argument-2-P/index.html" }, { "old_path": "doc/Fix/Fix/ForOrderedType/index.html", "new_path": "doc/fix/Fix/Fix/ForOrderedType/index.html" }, { "old_path": "doc/Fix/Fix/ForHashedType/argument-2-P/index.html", "new_path": "doc/fix/Fix/Fix/ForHashedType/argument-2-P/index.html" }, { "old_path": "doc/Fix/Fix/Make/argument-1-M/index.html", "new_path": "doc/fix/Fix/Fix/Make/argument-1-M/index.html" }, { "old_path": "doc/Fix/DataFlow/Run/argument-1-M/index.html", "new_path": "doc/fix/Fix/DataFlow/Run/argument-1-M/index.html" }, { "old_path": "doc/Fix/Indexing/Empty/index.html", "new_path": "doc/fix/Fix/Indexing/Empty/index.html" }, { "old_path": "doc/Fix/Glue/HashTablesAsImperativeMaps/argument-1-H/index.html", "new_path": "doc/fix/Fix/Glue/HashTablesAsImperativeMaps/argument-1-H/index.html" }, { "old_path": "doc/Fix/HashCons/Make/index.html", "new_path": "doc/fix/Fix/HashCons/Make/index.html" }, { "old_path": "doc/Fix/Numbering/Make/argument-1-M/index.html", "new_path": "doc/fix/Fix/Numbering/Make/argument-1-M/index.html" }, { "old_path": "doc/Fix/Tabulate/index.html", "new_path": "doc/fix/Fix/Tabulate/index.html" }, { "old_path": "doc/Fix/Glue/InjectImperativeMaps/argument-2-I/index.html", "new_path": "doc/fix/Fix/Glue/InjectImperativeMaps/argument-2-I/index.html" }, { "old_path": "doc/Fix/Prop/index.html", "new_path": "doc/fix/Fix/Prop/index.html" }, { "old_path": "doc/Fix/Tabulate/Make/index.html", "new_path": "doc/fix/Fix/Tabulate/Make/index.html" }, { "old_path": "doc/Fix/Tabulate/ForIntSegment/argument-1-K/index.html", "new_path": "doc/fix/Fix/Tabulate/ForIntSegment/argument-1-K/index.html" }, { "old_path": "doc/Fix/Glue/InjectHashedType/argument-2-I/index.html", "new_path": "doc/fix/Fix/Glue/InjectHashedType/argument-2-I/index.html" }, { "old_path": "doc/Fix/Indexing/module-type-SUM/index.html", "new_path": "doc/fix/Fix/Indexing/module-type-SUM/index.html" }, { "old_path": "doc/Fix/DataFlow/ForOrderedType/index.html", "new_path": "doc/fix/Fix/DataFlow/ForOrderedType/index.html" }, { "old_path": "doc/Fix/DataFlow/ForCustomMaps/index.html", "new_path": "doc/fix/Fix/DataFlow/ForCustomMaps/index.html" }, { "old_path": "doc/Fix/Glue/MinimalSemiLattice/argument-1-P/index.html", "new_path": "doc/fix/Fix/Glue/MinimalSemiLattice/argument-1-P/index.html" }, { "old_path": "doc/Fix/DataFlow/ForHashedType/argument-3-G/index.html", "new_path": "doc/fix/Fix/DataFlow/ForHashedType/argument-3-G/index.html" }, { "old_path": "doc/Fix/Glue/InjectImperativeMaps/argument-1-M/index.html", "new_path": "doc/fix/Fix/Glue/InjectImperativeMaps/argument-1-M/index.html" }, { "old_path": "doc/Fix/GraphNumbering/Make/argument-1-M/index.html", "new_path": "doc/fix/Fix/GraphNumbering/Make/argument-1-M/index.html" }, { "old_path": "doc/Fix/Glue/ArraysAsImperativeMaps/argument-1-K/index.html", "new_path": "doc/fix/Fix/Glue/ArraysAsImperativeMaps/argument-1-K/index.html" }, { "old_path": "doc/Fix/Numbering/ForType/argument-1-T/index.html", "new_path": "doc/fix/Fix/Numbering/ForType/argument-1-T/index.html" }, { "old_path": "doc/Fix/Indexing/Const/index.html", "new_path": "doc/fix/Fix/Indexing/Const/index.html" }, { "old_path": "doc/Fix/Fix/ForType/index.html", "new_path": "doc/fix/Fix/Fix/ForType/index.html" }, { "old_path": "doc/Fix/Make/index.html", "new_path": "doc/fix/Fix/Make/index.html" }, { "old_path": "doc/Fix/GraphNumbering/ForHashedType/argument-2-G/index.html", "new_path": "doc/fix/Fix/GraphNumbering/ForHashedType/argument-2-G/index.html" }, { "old_path": "doc/Fix/Tabulate/ForIntSegment/index.html", "new_path": "doc/fix/Fix/Tabulate/ForIntSegment/index.html" }, { "old_path": "doc/Fix/module-type-MINIMAL_SEMI_LATTICE/index.html", "new_path": "doc/fix/Fix/module-type-MINIMAL_SEMI_LATTICE/index.html" }, { "old_path": "doc/Fix/Indexing/Gensym/index.html", "new_path": "doc/fix/Fix/Indexing/Gensym/index.html" }, { "old_path": "doc/Fix/Indexing/Vector/module-type-V/index.html", "new_path": "doc/fix/Fix/Indexing/Vector/module-type-V/index.html" }, { "old_path": "doc/Fix/Memoize/ForOrderedType/index.html", "new_path": "doc/fix/Fix/Memoize/ForOrderedType/index.html" }, { "old_path": "doc/Fix/Partition/index.html", "new_path": "doc/fix/Fix/Partition/index.html" }, { "old_path": "doc/Fix/GraphNumbering/ForType/argument-2-G/index.html", "new_path": "doc/fix/Fix/GraphNumbering/ForType/argument-2-G/index.html" }, { "old_path": "doc/Fix/Memoize/Make/argument-1-M/index.html", "new_path": "doc/fix/Fix/Memoize/Make/argument-1-M/index.html" }, { "old_path": "doc/Fix/DataFlow/ForOrderedType/argument-3-G/index.html", "new_path": "doc/fix/Fix/DataFlow/ForOrderedType/argument-3-G/index.html" }, { "old_path": "doc/Fix/Prop/Boolean/index.html", "new_path": "doc/fix/Fix/Prop/Boolean/index.html" }, { "old_path": "doc/Fix/Tabulate/ForHashedType/index.html", "new_path": "doc/fix/Fix/Tabulate/ForHashedType/index.html" }, { "old_path": "doc/Fix/Tabulate/ForType/argument-1-F/index.html", "new_path": "doc/fix/Fix/Tabulate/ForType/argument-1-F/index.html" }, { "old_path": "doc/Fix/Prop/Set/index.html", "new_path": "doc/fix/Fix/Prop/Set/index.html" }, { "old_path": "doc/Fix/DataFlow/ForOrderedType/argument-2-P/index.html", "new_path": "doc/fix/Fix/DataFlow/ForOrderedType/argument-2-P/index.html" }, { "old_path": "doc/Fix/HashCons/Make/argument-1-M/index.html", "new_path": "doc/fix/Fix/HashCons/Make/argument-1-M/index.html" }, { "old_path": "doc/Fix/DataFlow/ForType/argument-2-P/index.html", "new_path": "doc/fix/Fix/DataFlow/ForType/argument-2-P/index.html" }, { "old_path": "doc/Fix/module-type-SEMI_LATTICE/index.html", "new_path": "doc/fix/Fix/module-type-SEMI_LATTICE/index.html" }, { "old_path": "doc/Fix/DataFlow/ForIntSegment/index.html", "new_path": "doc/fix/Fix/DataFlow/ForIntSegment/index.html" }, { "old_path": "doc/Fix/Indexing/Sum/argument-2-R/index.html", "new_path": "doc/fix/Fix/Indexing/Sum/argument-2-R/index.html" }, { "old_path": "doc/Fix/Numbering/ForHashedType/argument-1-T/index.html", "new_path": "doc/fix/Fix/Numbering/ForHashedType/argument-1-T/index.html" }, { "old_path": "doc/Fix/Indexing/Const/argument-1-X/index.html", "new_path": "doc/fix/Fix/Indexing/Const/argument-1-X/index.html" }, { "old_path": "doc/Fix/Tabulate/Make/argument-2-M/index.html", "new_path": "doc/fix/Fix/Tabulate/Make/argument-2-M/index.html" }, { "old_path": "doc/Fix/DataFlow/ForCustomMaps/argument-1-P/index.html", "new_path": "doc/fix/Fix/DataFlow/ForCustomMaps/argument-1-P/index.html" }, { "old_path": "doc/Fix/SCC/index.html", "new_path": "doc/fix/Fix/SCC/index.html" }, { "old_path": "doc/Fix/Glue/InjectOrderedType/index.html", "new_path": "doc/fix/Fix/Glue/InjectOrderedType/index.html" }, { "old_path": "doc/Fix/module-type-PROPERTY/index.html", "new_path": "doc/fix/Fix/module-type-PROPERTY/index.html" }, { "old_path": "doc/Fix/Tabulate/ForOrderedType/argument-2-T/index.html", "new_path": "doc/fix/Fix/Tabulate/ForOrderedType/argument-2-T/index.html" }, { "old_path": "doc/Fix/Fix/Make/index.html", "new_path": "doc/fix/Fix/Fix/Make/index.html" }, { "old_path": "doc/Fix/Memoize/ForHashedType/index.html", "new_path": "doc/fix/Fix/Memoize/ForHashedType/index.html" }, { "old_path": "doc/Fix/Indexing/Sum/argument-1-L/index.html", "new_path": "doc/fix/Fix/Indexing/Sum/argument-1-L/index.html" }, { "old_path": "doc/Fix/Tabulate/ForType/index.html", "new_path": "doc/fix/Fix/Tabulate/ForType/index.html" }, { "old_path": "doc/Fix/Fix/Make/argument-2-P/index.html", "new_path": "doc/fix/Fix/Fix/Make/argument-2-P/index.html" }, { "old_path": "doc/Fix/Numbering/index.html", "new_path": "doc/fix/Fix/Numbering/index.html" }, { "old_path": "doc/Fix/Minimize/Minimize/index.html", "new_path": "doc/fix/Fix/Minimize/Minimize/index.html" }, { "old_path": "doc/Fix/module-type-MINIMAL_IMPERATIVE_MAPS/index.html", "new_path": "doc/fix/Fix/module-type-MINIMAL_IMPERATIVE_MAPS/index.html" }, { "old_path": "doc/Fix/module-type-TWO_PHASE_NUMBERING/Done/index.html", "new_path": "doc/fix/Fix/module-type-TWO_PHASE_NUMBERING/Done/index.html" }, { "old_path": "doc/Fix/Memoize/ForType/index.html", "new_path": "doc/fix/Fix/Memoize/ForType/index.html" }, { "old_path": "doc/Fix/Numbering/ForOrderedType/Done/index.html", "new_path": "doc/fix/Fix/Numbering/ForOrderedType/Done/index.html" }, { "old_path": "doc/Fix/Minimize/Minimize/argument-2-A/index.html", "new_path": "doc/fix/Fix/Minimize/Minimize/argument-2-A/index.html" }, { "old_path": "doc/Fix/Glue/InjectHashedType/index.html", "new_path": "doc/fix/Fix/Glue/InjectHashedType/index.html" }, { "old_path": "doc/Fix/module-type-DATA_FLOW_GRAPH/index.html", "new_path": "doc/fix/Fix/module-type-DATA_FLOW_GRAPH/index.html" }, { "old_path": "doc/Fix/module-type-ARRAY/index.html", "new_path": "doc/fix/Fix/module-type-ARRAY/index.html" }, { "old_path": "doc/Fix/Numbering/ForOrderedType/argument-1-T/index.html", "new_path": "doc/fix/Fix/Numbering/ForOrderedType/argument-1-T/index.html" }, { "old_path": "doc/Fix/Indexing/module-type-CARDINAL/index.html", "new_path": "doc/fix/Fix/Indexing/module-type-CARDINAL/index.html" }, { "old_path": "doc/Fix/HashCons/ForHashedTypeWeak/argument-1-T/index.html", "new_path": "doc/fix/Fix/HashCons/ForHashedTypeWeak/argument-1-T/index.html" }, { "old_path": "doc/Fix/Memoize/Make/index.html", "new_path": "doc/fix/Fix/Memoize/Make/index.html" }, { "old_path": "doc/Fix/Glue/TrivialHashedType/argument-1-T/index.html", "new_path": "doc/fix/Fix/Glue/TrivialHashedType/argument-1-T/index.html" }, { "old_path": "doc/Fix/Tabulate/ForOrderedType/argument-1-F/index.html", "new_path": "doc/fix/Fix/Tabulate/ForOrderedType/argument-1-F/index.html" }, { "old_path": "doc/Fix/module-type-SOLVER/index.html", "new_path": "doc/fix/Fix/module-type-SOLVER/index.html" }, { "old_path": "doc/Fix/Glue/WeakHashTablesAsImperativeMaps/index.html", "new_path": "doc/fix/Fix/Glue/WeakHashTablesAsImperativeMaps/index.html" }, { "old_path": "doc/Fix/Indexing/Index/index.html", "new_path": "doc/fix/Fix/Indexing/Index/index.html" }, { "old_path": "doc/Fix/DataFlow/ForCustomMaps/argument-2-G/index.html", "new_path": "doc/fix/Fix/DataFlow/ForCustomMaps/argument-2-G/index.html" }, { "old_path": "doc/Fix/module-type-PERSISTENT_MAPS/index.html", "new_path": "doc/fix/Fix/module-type-PERSISTENT_MAPS/index.html" }, { "old_path": "doc/Fix/DataFlow/ForHashedType/index.html", "new_path": "doc/fix/Fix/DataFlow/ForHashedType/index.html" }, { "old_path": "doc/Fix/DataFlow/ForType/index.html", "new_path": "doc/fix/Fix/DataFlow/ForType/index.html" }, { "old_path": "doc/Fix/HashCons/index.html", "new_path": "doc/fix/Fix/HashCons/index.html" }, { "old_path": "doc/Fix/CompactQueue/index.html", "new_path": "doc/fix/Fix/CompactQueue/index.html" }, { "old_path": "doc/Fix/Prop/Option/index.html", "new_path": "doc/fix/Fix/Prop/Option/index.html" }, { "old_path": "doc/Fix/Glue/TrivialOrderedType/index.html", "new_path": "doc/fix/Fix/Glue/TrivialOrderedType/index.html" }, { "old_path": "doc/Fix/DataFlow/ForType/argument-3-G/index.html", "new_path": "doc/fix/Fix/DataFlow/ForType/argument-3-G/index.html" }, { "old_path": "doc/Fix/module-type-GRAPH/index.html", "new_path": "doc/fix/Fix/module-type-GRAPH/index.html" }, { "old_path": "doc/Fix/Glue/index.html", "new_path": "doc/fix/Fix/Glue/index.html" }, { "old_path": "doc/Fix/Glue/CHAR/index.html", "new_path": "doc/fix/Fix/Glue/CHAR/index.html" }, { "old_path": "doc/Fix/Glue/TrivialOrderedType/argument-1-T/index.html", "new_path": "doc/fix/Fix/Glue/TrivialOrderedType/argument-1-T/index.html" }, { "old_path": "doc/Fix/DataFlow/ForIntSegment/argument-1-K/index.html", "new_path": "doc/fix/Fix/DataFlow/ForIntSegment/argument-1-K/index.html" }, { "old_path": "doc/Fix/Fix/ForHashedType/index.html", "new_path": "doc/fix/Fix/Fix/ForHashedType/index.html" }, { "old_path": "doc/Fix/module-type-NUMBERING/index.html", "new_path": "doc/fix/Fix/module-type-NUMBERING/index.html" }, { "old_path": "doc/Fix/Indexing/Vector/index.html", "new_path": "doc/fix/Fix/Indexing/Vector/index.html" }, { "old_path": "doc/Fix/Glue/InjectMinimalImperativeMaps/argument-1-M/index.html", "new_path": "doc/fix/Fix/Glue/InjectMinimalImperativeMaps/argument-1-M/index.html" }, { "old_path": "doc/Fix/DataFlow/ForHashedType/argument-1-T/index.html", "new_path": "doc/fix/Fix/DataFlow/ForHashedType/argument-1-T/index.html" }, { "old_path": "doc/Fix/Glue/InjectImperativeMaps/argument-3-J/index.html", "new_path": "doc/fix/Fix/Glue/InjectImperativeMaps/argument-3-J/index.html" }, { "old_path": "doc/Fix/Minimize/Minimize/argument-1-Label/index.html", "new_path": "doc/fix/Fix/Minimize/Minimize/argument-1-Label/index.html" }, { "old_path": "doc/Fix/Tabulate/Make/argument-1-F/index.html", "new_path": "doc/fix/Fix/Tabulate/Make/argument-1-F/index.html" }, { "old_path": "doc/Fix/Fix/ForOrderedType/argument-2-P/index.html", "new_path": "doc/fix/Fix/Fix/ForOrderedType/argument-2-P/index.html" }, { "old_path": "doc/Fix/Numbering/Make/index.html", "new_path": "doc/fix/Fix/Numbering/Make/index.html" }, { "old_path": "doc/Fix/Numbering/ForHashedType/index.html", "new_path": "doc/fix/Fix/Numbering/ForHashedType/index.html" }, { "old_path": "doc/Fix/GraphNumbering/ForType/argument-1-T/index.html", "new_path": "doc/fix/Fix/GraphNumbering/ForType/argument-1-T/index.html" }, { "old_path": "doc/Fix/DataFlow/Run/index.html", "new_path": "doc/fix/Fix/DataFlow/Run/index.html" }, { "old_path": "doc/Fix/Memoize/ForType/argument-1-T/index.html", "new_path": "doc/fix/Fix/Memoize/ForType/argument-1-T/index.html" }, { "old_path": "doc/Fix/Make/argument-1-M/index.html", "new_path": "doc/fix/Fix/Make/argument-1-M/index.html" }, { "old_path": "doc/Fix/Glue/InjectHashedType/argument-1-U/index.html", "new_path": "doc/fix/Fix/Glue/InjectHashedType/argument-1-U/index.html" }, { "old_path": "doc/Fix/Glue/PersistentMapsToImperativeMaps/argument-1-M/index.html", "new_path": "doc/fix/Fix/Glue/PersistentMapsToImperativeMaps/argument-1-M/index.html" }, { "old_path": "doc/Fix/Glue/ArraysAsImperativeMaps/index.html", "new_path": "doc/fix/Fix/Glue/ArraysAsImperativeMaps/index.html" }, { "old_path": "doc/Fix/Indexing/Sum/index.html", "new_path": "doc/fix/Fix/Indexing/Sum/index.html" }, { "old_path": "doc/Fix/index.html", "new_path": "doc/fix/Fix/index.html" }, { "old_path": "doc/Fix/Fix/ForType/argument-2-P/index.html", "new_path": "doc/fix/Fix/Fix/ForType/argument-2-P/index.html" }, { "old_path": "doc/Fix/Numbering/Make/Done/index.html", "new_path": "doc/fix/Fix/Numbering/Make/Done/index.html" }, { "old_path": "doc/Fix/DataFlow/ForOrderedType/argument-1-T/index.html", "new_path": "doc/fix/Fix/DataFlow/ForOrderedType/argument-1-T/index.html" }, { "old_path": "doc/Fix/module-type-ONGOING_NUMBERING/index.html", "new_path": "doc/fix/Fix/module-type-ONGOING_NUMBERING/index.html" }, { "old_path": "doc/Fix/Memoize/ForHashedType/argument-1-T/index.html", "new_path": "doc/fix/Fix/Memoize/ForHashedType/argument-1-T/index.html" }, { "old_path": "doc/Fix/Gensym/index.html", "new_path": "doc/fix/Fix/Gensym/index.html" }, { "old_path": "doc/Fix/SCC/Run/index.html", "new_path": "doc/fix/Fix/SCC/Run/index.html" }, { "old_path": "doc/Fix/Indexing/Vector/Of_array/index.html", "new_path": "doc/fix/Fix/Indexing/Vector/Of_array/index.html" }, { "old_path": "doc/Fix/DataFlow/ForCustomMaps/argument-4-B/index.html", "new_path": "doc/fix/Fix/DataFlow/ForCustomMaps/argument-4-B/index.html" }, { "old_path": "doc/Fix/Fix/ForOrderedType/argument-1-T/index.html", "new_path": "doc/fix/Fix/Fix/ForOrderedType/argument-1-T/index.html" }, { "old_path": "doc/Fix/GraphNumbering/index.html", "new_path": "doc/fix/Fix/GraphNumbering/index.html" }, { "old_path": "doc/Fix/DataFlow/ForCustomMaps/argument-3-V/index.html", "new_path": "doc/fix/Fix/DataFlow/ForCustomMaps/argument-3-V/index.html" } ] }