diff options
Diffstat (limited to 'lib/abstract')
| -rw-r--r-- | lib/abstract/Storage.ml | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/lib/abstract/Storage.ml b/lib/abstract/Storage.ml index e921be9..afd1a3c 100644 --- a/lib/abstract/Storage.ml +++ b/lib/abstract/Storage.ml @@ -6,9 +6,15 @@ 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 + (** begin a read-only transaction, which may be held alongside others *) + val start_read : connection -> (transaction, Concepts.Condition.condition) result + (** `commit` the current transaction *) val commit : transaction -> (unit, Concepts.Condition.condition) result |