Inode (irmin-pack.Irmin_pack

module type S = Irmin_pack.Inode.S

module type Persistent = sig ... end

module Make_persistent
  (H : Irmin.Hash.S)
  (Node : 
    Irmin.Node.Generic_key.S
      with type hash = H.t
       and type contents_key = H.t Pack_key.t
       and type node_key = H.t Pack_key.t)
  (Inter : 
    Irmin_pack.Inode.Internal
      with type hash = H.t
       and type key = H.t Pack_key.t
       and type Snapshot.metadata = Node.metadata
       and type Val.step = Node.step)
  (Pack : 
    Pack_store.S
      with type hash = H.t
       and type key = H.t Pack_key.t
       and type value = Inter.Raw.t) : 
  Persistent
    with type key = H.t Pack_key.t
     and type hash = H.t
     and type Val.metadata = Node.metadata
     and type Val.step = Node.step
     and type file_manager = Pack.file_manager
     and type dict = Pack.dict
     and type dispatcher = Pack.dispatcher
     and type value = Inter.Val.t