blob: bcecc8d3bfe69ddd00d484e45539b1d16d7f89e8 (
plain)
1
2
3
4
5
6
7
8
9
10
|
functor Make(M : sig
type data
val inj : sql_injectable data
end) : sig
type ref
val new : M.data -> transaction ref
val read : ref -> transaction M.data
val write : ref -> M.data -> transaction unit
val delete : ref -> transaction unit
end
|
