Module type Db.INOUT

module type INOUT = sig .. end

Signature common to inputs and outputs computations. The results are also available on a per-statement basis.


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