irmin

Irmin, a distributed database that follows the same design principles as Git
IN THIS PACKAGE
Module Irmin . Backend . Remote
module type S = sig ... end
type nonrec t = ..
module None (H : Type.S) (R : Type.S) : sig ... end

Provides stub implementations of the S that always returns Error when push/pull operations are attempted.