diff options
Diffstat (limited to '')
| -rw-r--r-- | lib/abstract/Storage.ml | 3 |
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 |