2 files changed, 0 insertions, 40 deletions
diff --git a/lib/backend/managers/Cursor.ml b/lib/backend/managers/Cursor.ml
deleted file mode 100644
index 7fdbb6f..0000000
--- a/lib/backend/managers/Cursor.ml
+++ /dev/null
@@ -1,24 +0,0 @@
-(* @composes Storage -- functor parameter *)
-(* @needs Path *)
-(* @needs Tuple *)
-(* @needs Value *)
-(* @needs Condition *)
-
-type descriptor =
-  | Stored of {merkle_root: string}
-  | Ephemeral of {merkle_root: string; dependencies: Concepts.Path.t BatFingerTree.t}
-
-module Make (Store : Abstract.Storage.STORAGE) = struct
-  type cursor = unit
-
-  let open_ (_txn : Store.transaction) (descriptor : descriptor)
-      ~(args : Concepts.Value.value BatFingerTree.t) : (cursor, Concepts.Condition.condition) result
-      =
-    ignore (descriptor, args);
-    failwith "NOT IMPLEMENTED: open a cursor by paging the relation's Merkle tree over Store.get"
-
-  let next (_cursor : cursor) : (Concepts.Tuple.t option, Concepts.Condition.condition) result =
-    failwith "NOT IMPLEMENTED: page the next tuple over Store.get"
-
-  let close (_cursor : cursor) : unit = ()
-end
diff --git a/lib/backend/managers/Cursor.mli b/lib/backend/managers/Cursor.mli
deleted file mode 100644
index a4dec44..0000000
--- a/lib/backend/managers/Cursor.mli
+++ /dev/null
@@ -1,16 +0,0 @@
-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