irmin

Irmin, a distributed database that follows the same design principles as Git
IN THIS PACKAGE
exception Closed
module type Batch = sig ... end
module type Closeable = sig ... end
module type Of_config = sig ... end
module type Clearable = sig ... end