package plebeia

  1. Overview
  2. Docs
package plebeia
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Compressed.RecordSource

Recording known names

Without the persistent record of the known names, Plebeia cannot decode segments properly to names which are not yet known to it.

Sourcemodule Lock : sig ... end
Sourceval tmp_path : string
Sourceval new_path : string
Sourceval load : unit -> string list
Sourceval save : string list -> unit