blob: b107b4ea2093e5e2c51ba09606ed3cdf8c6aa6a1 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
|
type multigroup = {merkle_root: string}
type relation = {merkle_root: string}
type ephemeral_relation = {merkle_root: string; dependencies: string BatFingerTree.t}
type transaction = unit
type session = {connection_context: unit; branch_overrides: string BatMap.String.t}
type branch = {name: string; target_hash: string}
type branch_tree = {merkle_root: string}
type rnt_object_kind =
| Multigroup of multigroup
| Relation of relation
| EphemeralRelation of ephemeral_relation
| Session of session
| Branch of branch
| BranchTree of branch_tree
type rnt_method = OPEN | CLOSE
type rnt_object =
{kind: rnt_object_kind; disposable: bool; methods: rnt_method BatSet.t; exclsive: bool}
type registry = {reference_count: int; handle_count: int; entry: rnt_object}
type rnt_object_tree =
| Intermediary of {label: string; data: registry; subsequent: rnt_object_tree BatFingerTree.t}
| Final of {label: string; data: registry}
let register (_object_path : string BatFingerTree.t) (_registry : rnt_object_tree)
(_rnt_object : rnt_object) : rnt_object_tree =
failwith "NOT IMPLEMENTED"
let find (_object_path : string BatFingerTree.t) (_registry : rnt_object_tree) : registry =
failwith "NOT IMPLEMENTED"
let unregister (_object_path : string BatFingerTree.t) (_registry : rnt_object_tree) :
rnt_object_tree =
failwith "NOT IMPLEMENTED"
|
