blob: 5fc82b834d1ad6a9a352f6f570c48c43aac48281 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
module type HANDLER = sig
type t
type handle
type cursor
val open_ : t -> path:Concepts.Path.t -> (handle, Concepts.Condition.condition) result
val open_cursor :
handle ->
args:Concepts.Value.value BatFingerTree.t ->
(cursor, Concepts.Condition.condition) result
val next : cursor -> (Concepts.Tuple.t option, Concepts.Condition.condition) result
val close : cursor -> unit
end
module Make (Store : Abstract.Storage.STORAGE) : sig
include HANDLER
val create : Object.rnt_object_tree -> Store.transaction -> t
val object_ : handle -> Object.registry
end
|
