package plebeia

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

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.

module Lock : sig ... end
val tmp_path : string
val new_path : string
val load : unit -> string list
val save : string list -> unit