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