aboutsummaryrefslogtreecommitdiffstats
path: root/lib/abstract
diff options
context:
space:
mode:
authorEstevan Castilho <tevo@riajuu.net>2026-07-15 01:52:38 +0000
committerGitHub <noreply@github.com>2026-07-14 22:52:38 -0300
commitc374635a36d71e8cfff6e1c19b62e5d0e14ea371 (patch)
tree597fba69d4b39452eabab6299887282c1d7c6bc6 /lib/abstract
parentbb3156b8ab78b035ce886bbe3021ec7cbe269d03 (diff)
downloadRNT-c374635a36d71e8cfff6e1c19b62e5d0e14ea371.tar.gz
RNT-c374635a36d71e8cfff6e1c19b62e5d0e14ea371.zip
Storage layer scaffolding, LMDB backend
Diffstat (limited to 'lib/abstract')
-rw-r--r--lib/abstract/Storage.ml3
1 files changed, 1 insertions, 2 deletions
diff --git a/lib/abstract/Storage.ml b/lib/abstract/Storage.ml
index f456567..2358c67 100644
--- a/lib/abstract/Storage.ml
+++ b/lib/abstract/Storage.ml
@@ -2,8 +2,7 @@ module type STORAGE = sig
type connection
type transaction
- val connect :
- Concepts.Configuration.configuration -> (connection, Concepts.Condition.condition) result
+ val connect : Concepts.Configuration.term -> (connection, Concepts.Condition.condition) result
(** begin a transaction within `connection` *)
val start : connection -> (transaction, Concepts.Condition.condition) result