diff options
Diffstat (limited to '')
| -rw-r--r-- | lib/StorageBackend.ml | 11 | ||||
| -rw-r--r-- | lib/backend/execution/FOL.ml (renamed from lib/VM.ml) | 0 | ||||
| -rw-r--r-- | lib/backend/managers/Object.ml (renamed from lib/ObjectManager.ml) | 0 |
3 files changed, 0 insertions, 11 deletions
diff --git a/lib/StorageBackend.ml b/lib/StorageBackend.ml deleted file mode 100644 index 0e7106b..0000000 --- a/lib/StorageBackend.ml +++ /dev/null @@ -1,11 +0,0 @@ -module type T = sig - val put: bytes -> string - val get: string -> bytes option -end - -module SQLite: T = struct - let put (_value: bytes) = - failwith "NOT IMPLEMENTED" - let get (_hash: string) = - failwith "NOT IMPLEMENTED" -end diff --git a/lib/VM.ml b/lib/backend/execution/FOL.ml index 1a5770e..1a5770e 100644 --- a/lib/VM.ml +++ b/lib/backend/execution/FOL.ml diff --git a/lib/ObjectManager.ml b/lib/backend/managers/Object.ml index b107b4e..b107b4e 100644 --- a/lib/ObjectManager.ml +++ b/lib/backend/managers/Object.ml |