blob: a4dec4421537b9e405d48a4c2cba8460eeb844d7 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
type descriptor =
| Stored of {merkle_root: string}
| Ephemeral of {merkle_root: string; dependencies: Concepts.Path.t BatFingerTree.t}
module Make (Store : Abstract.Storage.STORAGE) : sig
type cursor
val open_ :
Store.transaction ->
descriptor ->
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
|
