diff options
Diffstat (limited to 'lib/backend/managers/Handle.ml')
| -rw-r--r-- | lib/backend/managers/Handle.ml | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/lib/backend/managers/Handle.ml b/lib/backend/managers/Handle.ml index 872af43..be84972 100644 --- a/lib/backend/managers/Handle.ml +++ b/lib/backend/managers/Handle.ml @@ -1,3 +1,11 @@ +(* @composes Storage -- functor parameter *) +(* @composes Cursor -- applies Cursor.Make (Store) *) +(* @uses Object -- find, registry/kind inspection *) +(* @uses Condition -- builds not-a-relation / no-such-object errors *) +(* @needs Path *) +(* @needs Tuple *) +(* @needs Value *) + module type HANDLER = sig type t type handle |