diff options
Diffstat (limited to '')
| -rw-r--r-- | lib/abstract/Storage.ml | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/lib/abstract/Storage.ml b/lib/abstract/Storage.ml index e921be9..888a354 100644 --- a/lib/abstract/Storage.ml +++ b/lib/abstract/Storage.ml @@ -9,6 +9,9 @@ module type STORAGE = sig (** 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 |