From 41c6334bf21b1cbae228b1d75bf3d095ba84bcca Mon Sep 17 00:00:00 2001 From: Marcos Magueta Date: Wed, 23 Sep 2026 03:40:37 -0300 Subject: allow to close storage --- lib/abstract/Storage.ml | 3 +++ 1 file changed, 3 insertions(+) (limited to 'lib/abstract/Storage.ml') diff --git a/lib/abstract/Storage.ml b/lib/abstract/Storage.ml index 888a354..afd1a3c 100644 --- a/lib/abstract/Storage.ml +++ b/lib/abstract/Storage.ml @@ -6,6 +6,9 @@ module type STORAGE = sig val connect : Concepts.Configuration.term -> (connection, Concepts.Condition.condition) result + (** close `connection`, after which none of its transactions may be used *) + val disconnect : connection -> unit + (** begin a transaction within `connection` *) val start : connection -> (transaction, Concepts.Condition.condition) result -- cgit v1.2.3