diff options
| author | Marcos Magueta <maguetamarcos@gmail.com> | 2026-07-08 22:14:27 -0300 |
|---|---|---|
| committer | Marcos Magueta <maguetamarcos@gmail.com> | 2026-07-08 22:14:27 -0300 |
| commit | 85bff2fc22a131cce5ec2b4eb4b3dd8269c247cd (patch) | |
| tree | c1910b68b0551d31eea089cf90f2a8824c111afc | |
| parent | f232467ba8d242b59397d19da8e5a9bc84b9a075 (diff) | |
| download | RNT-85bff2fc22a131cce5ec2b4eb4b3dd8269c247cd.tar.gz RNT-85bff2fc22a131cce5ec2b4eb4b3dd8269c247cd.zip | |
migrate to tevo's structure
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 |