{
  "name": "sek",
  "version": "20200403",
  "files": [
    "doc/sek/Sek/DefaultThreshold/index.html",
    "doc/sek/Sek/DefaultOverwriteEmptySlots/index.html",
    "doc/sek/Sek/DoNotOverwriteEmptySlots/index.html",
    "doc/sek/Sek/DoOverwriteEmptySlots/index.html",
    "doc/sek/Sek/DefaultCapacity/index.html",
    "doc/sek/Sek/Make/Stack/index.html", "doc/sek/Sek/Make/Queue/index.html",
    "doc/sek/Sek/Make/Persistent/index.html",
    "doc/sek/Sek/Make/Ephemeral/index.html",
    "doc/sek/Sek/Make/argument-3-T/index.html",
    "doc/sek/Sek/Make/argument-2-O/index.html",
    "doc/sek/Sek/Make/argument-1-C/index.html",
    "doc/sek/Sek/Make/index.html",
    "doc/sek/Sek/module-type-THRESHOLD/index.html",
    "doc/sek/Sek/module-type-OVERWRITE_EMPTY_SLOTS/index.html",
    "doc/sek/Sek/module-type-CAPACITY/index.html",
    "doc/sek/Sek/Stack/index.html", "doc/sek/Sek/Queue/index.html",
    "doc/sek/Sek/Persistent/index.html", "doc/sek/Sek/Ephemeral/index.html",
    "doc/sek/Sek/module-type-SEK/Stack/index.html",
    "doc/sek/Sek/module-type-SEK/Queue/index.html",
    "doc/sek/Sek/module-type-SEK/Persistent/index.html",
    "doc/sek/Sek/module-type-SEK/Ephemeral/index.html",
    "doc/sek/Sek/module-type-SEK/index.html", "doc/sek/Sek/index.html",
    "doc/sek/index.html", "doc/src/sek/sek__.ml.html",
    "doc/src/sek/Adapters.ml.html", "doc/src/sek/Owner.ml.html",
    "doc/src/sek/ArrayExtra.ml.html", "doc/src/sek/PublicSettings.ml.html",
    "doc/src/sek/Sek.ml.html", "doc/src/sek/PersistentSequence.ml.html",
    "doc/src/sek/PublicTypeAbbreviations.ml.html",
    "doc/src/sek/PublicSignature.ml.html",
    "doc/src/sek/PrivateSignatures.ml.html",
    "doc/src/sek/ShortPersistentSequence.ml.html",
    "doc/src/sek/EphemeralChunk.ml.html",
    "doc/src/sek/ShareableChunk.ml.html",
    "doc/src/sek/EphemeralSequence.ml.html",
    "doc/src/sek/ShareableSequence.ml.html", "doc/src/index.html",
    "doc/index.html", "doc/README.html", "doc/CHANGES.html"
  ],
  "failed": false,
  "redirections": [
    {
      "old_path": "doc/Sek/module-type-OVERWRITE_EMPTY_SLOTS/index.html",
      "new_path": "doc/sek/Sek/module-type-OVERWRITE_EMPTY_SLOTS/index.html"
    },
    {
      "old_path": "doc/Sek/Make/argument-3-T/index.html",
      "new_path": "doc/sek/Sek/Make/argument-3-T/index.html"
    },
    {
      "old_path": "doc/Sek/module-type-SEK/Ephemeral/index.html",
      "new_path": "doc/sek/Sek/module-type-SEK/Ephemeral/index.html"
    },
    {
      "old_path": "doc/Sek/Make/argument-1-C/index.html",
      "new_path": "doc/sek/Sek/Make/argument-1-C/index.html"
    },
    {
      "old_path": "doc/Sek/index.html",
      "new_path": "doc/sek/Sek/index.html"
    },
    {
      "old_path": "doc/Sek/module-type-SEK/index.html",
      "new_path": "doc/sek/Sek/module-type-SEK/index.html"
    },
    {
      "old_path": "doc/Sek/Ephemeral/index.html",
      "new_path": "doc/sek/Sek/Ephemeral/index.html"
    },
    {
      "old_path": "doc/Sek/DefaultOverwriteEmptySlots/index.html",
      "new_path": "doc/sek/Sek/DefaultOverwriteEmptySlots/index.html"
    },
    {
      "old_path": "doc/Sek/DoNotOverwriteEmptySlots/index.html",
      "new_path": "doc/sek/Sek/DoNotOverwriteEmptySlots/index.html"
    },
    {
      "old_path": "doc/Sek/module-type-SEK/Queue/index.html",
      "new_path": "doc/sek/Sek/module-type-SEK/Queue/index.html"
    },
    {
      "old_path": "doc/Sek/Queue/index.html",
      "new_path": "doc/sek/Sek/Queue/index.html"
    },
    {
      "old_path": "doc/Sek/Make/index.html",
      "new_path": "doc/sek/Sek/Make/index.html"
    },
    {
      "old_path": "doc/Sek/Make/Queue/index.html",
      "new_path": "doc/sek/Sek/Make/Queue/index.html"
    },
    {
      "old_path": "doc/Sek/Make/Persistent/index.html",
      "new_path": "doc/sek/Sek/Make/Persistent/index.html"
    },
    {
      "old_path": "doc/Sek/module-type-SEK/Stack/index.html",
      "new_path": "doc/sek/Sek/module-type-SEK/Stack/index.html"
    },
    {
      "old_path": "doc/Sek/Make/Ephemeral/index.html",
      "new_path": "doc/sek/Sek/Make/Ephemeral/index.html"
    },
    {
      "old_path": "doc/Sek/Persistent/index.html",
      "new_path": "doc/sek/Sek/Persistent/index.html"
    },
    {
      "old_path": "doc/Sek/module-type-CAPACITY/index.html",
      "new_path": "doc/sek/Sek/module-type-CAPACITY/index.html"
    },
    {
      "old_path": "doc/Sek/Make/argument-2-O/index.html",
      "new_path": "doc/sek/Sek/Make/argument-2-O/index.html"
    },
    {
      "old_path": "doc/Sek/DefaultCapacity/index.html",
      "new_path": "doc/sek/Sek/DefaultCapacity/index.html"
    },
    {
      "old_path": "doc/Sek/Stack/index.html",
      "new_path": "doc/sek/Sek/Stack/index.html"
    },
    {
      "old_path": "doc/Sek/Make/Stack/index.html",
      "new_path": "doc/sek/Sek/Make/Stack/index.html"
    },
    {
      "old_path": "doc/Sek/DoOverwriteEmptySlots/index.html",
      "new_path": "doc/sek/Sek/DoOverwriteEmptySlots/index.html"
    },
    {
      "old_path": "doc/Sek/DefaultThreshold/index.html",
      "new_path": "doc/sek/Sek/DefaultThreshold/index.html"
    },
    {
      "old_path": "doc/Sek/module-type-SEK/Persistent/index.html",
      "new_path": "doc/sek/Sek/module-type-SEK/Persistent/index.html"
    },
    {
      "old_path": "doc/Sek/module-type-THRESHOLD/index.html",
      "new_path": "doc/sek/Sek/module-type-THRESHOLD/index.html"
    }
  ]
}