From c374635a36d71e8cfff6e1c19b62e5d0e14ea371 Mon Sep 17 00:00:00 2001 From: Estevan Castilho Date: Wed, 15 Jul 2026 01:52:38 +0000 Subject: Storage layer scaffolding, LMDB backend --- lib/abstract/Storage.ml | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) (limited to 'lib/abstract') 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 -- cgit v1.2.3