Irmin_pack.Inode
module type S = sig ... end
module type Internal = sig ... end
module type Child_ordering = sig ... end
module type Raw = sig ... end
module type Snapshot = sig ... end
module Make_internal
(Conf : Conf.S)
(H : Irmin.Hash.S)
(Key : sig ... end)
(Node :
Irmin.Node.Generic_key.S
with type hash = H.t
and type contents_key = Key.t
and type node_key = Key.t) :
Internal
with type hash = H.t
and type key = Key.t
and type Snapshot.metadata = Node.metadata
and type Val.step = Node.step
module Make
(H : Irmin.Hash.S)
(Key : Irmin.Key.S with type hash = H.t)
(Node :
Irmin.Node.Generic_key.S
with type hash = H.t
and type contents_key = Key.t
and type node_key = Key.t)
(Inter :
Internal
with type hash = H.t
and type key = Key.t
and type Snapshot.metadata = Node.metadata
and type Val.step = Node.step)
(Pack :
Indexable.S
with type key = Key.t
and type hash = H.t
and type value = Inter.Raw.t) :
S
with type 'a t = 'a Pack.t
and type key = Key.t
and type hash = H.t
and type Val.metadata = Node.metadata
and type Val.step = Node.step
and type value = Inter.Val.t