Module Plebeia.InfoSource

Sourcetype t = {
  1. copies : Path.t list;
}
Sourceval empty : t
Sourceval equal : t -> t -> bool
Sourceval encode : t -> string
Sourceval decode : string -> t option
Sourcetype Error.t +=
  1. | Invalid