aboutsummaryrefslogblamecommitdiffstats
path: root/lib/backend/managers/Namespace.mli
blob: 1ee965184a0dd12c24c0910a93ff647d8fd17afd (plain) (tree)
1
2
3
4
5
6
7
8
9








                                                          
module Make (Store : Abstract.Storage.STORAGE) : sig
  type tree = Object.rnt_object_tree

  val resolve :
    Store.transaction ->
    tree ->
    Concepts.Path.t ->
    (Concepts.Path.t, Concepts.Condition.condition) result
end