Inode (octez-libs.Brassaia

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

exception Max_depth of int

module Make_internal
  (Conf : Conf.S)
  (H : Brassaia.Hash.S)
  (Key : sig ... end)
  (Node : 
    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.Hash.S)
  (Key : Brassaia.Key.S with type hash = H.t)
  (Node : 
    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