aboutsummaryrefslogblamecommitdiffstats
path: root/lib/kernel/Storage.mli
blob: 3ef1ffcd69389f5635244ee8837b553b8f14e8a4 (plain) (tree)
1
2
3
4
5




                                                                                                                                                  
module Make : functor (S : Abstract.Storage.STORAGE) -> sig
  val finish : S.transaction -> ('a, Concepts.Condition.condition) result -> ('a, Concepts.Condition.condition) result
  val with_transaction : S.connection -> (S.transaction -> ('a, Concepts.Condition.condition) result) -> ('a, Concepts.Condition.condition) result
  val store_blob : S.transaction -> Concepts.Representation.blob -> (Concepts.Hash.hash, Concepts.Condition.condition) result
end