Module type Db.INOUT

module type INOUT = sig .. end

include Db.INOUTKF
val statement : (Cil_types.stmt -> t) Pervasives.ref
val kinstr : Cil_types.kinstr -> t option