package irmin

You can search for identifiers within the package.

in-package search v0.2.0

Irmin, a distributed database that follows the same design principles as Git

Install

sha256=6e430cf44aee5ffdc94f6bfad8dbc401e3ea036ed1fbcf2a8697198ecbf6d412

sha512=b969d0913f0776384fafc4f138cb5187a921e827fd9940d0b350601e1913bdecdfc5acc62ec0ff7c6906e230950a68b39bd886ba3fe37be52e1c6117ddce1791

Atomic-write stores.

Sourcemodule type S = sig ... end

Sourcemodule type Maker = sig ... end

Sourcemodule Check_closed_store (AW : S) : sig ... end

Sourcemodule Check_closed (M : Maker) : Maker