Module Lower.Make_volumeSource

Parameters

module Io : Io.S
module Errs : Io_errors.S with module Io = Io

Signature

Sourcemodule Io = Io
Sourcemodule Errs = Errs
Sourcetype t
Sourcetype open_error = [
  1. | Io.open_error
  2. | `Closed
  3. | `Double_close
  4. | `Corrupted_control_file of string
  5. | `Unknown_major_pack_version of string
]
Sourceval v : string -> (t, [> open_error ]) result

v path loads the volume at path in read-only.

Sourceval path : t -> string

path t is the directory that contains the volume.

Sourceval is_empty : t -> bool

is_empty t returns whether t is empty or not.

control t returns the control file payload for the volume.

Sourceval identifier : t -> string

identifier t is a unique idendifier for the volume.