Inode (octez-libs.Brassaia_eio

module type S = Inode_intf.S

module type Internal = Inode_intf.Internal

module type Child_ordering = Inode_intf.Child_ordering

module type Raw = Inode_intf.Raw

module type Snapshot = Inode_intf.Snapshot

exception Max_depth of int

module Make_internal
  (Conf : Conf.S)
  (H : Brassaia_eio_pack.Import.Brassaia.Hash.S)
  (Key : sig ... end)
  (Node : 
    Brassaia_eio_pack.Import.Brassaia.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

module Make
  (H : Brassaia_eio_pack.Import.Brassaia.Hash.S)
  (Key : Brassaia_eio_pack.Import.Brassaia.Key.S with type hash = H.t)
  (Node : 
    Brassaia_eio_pack.Import.Brassaia.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)
  (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 value = Inter.Val.t