blob: 1ee965184a0dd12c24c0910a93ff647d8fd17afd (
plain) (
blame)
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
|