blob: 71fb15d3f5b1ac985a9db1ce81883d76bab9983b (
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: string 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
|
