diff options
Diffstat (limited to '')
| -rw-r--r-- | lib/backend/managers/Object.ml | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/lib/backend/managers/Object.ml b/lib/backend/managers/Object.ml index 981420b..ae5f5c1 100644 --- a/lib/backend/managers/Object.ml +++ b/lib/backend/managers/Object.ml @@ -1,3 +1,7 @@ +(* @uses Path -- snoc, to_string when building registry paths *) +(* @uses Condition -- builds registry-object/path errors *) +(* @needs Value *) + type multigroup = {merkle_root: string} type relation = {merkle_root: string} |