module Inputs:sig
..end
include Db.INOUT
val expr : (Cil_types.stmt -> Cil_types.exp -> t) Pervasives.ref
val self_with_formals : State.t Pervasives.ref
val get_with_formals : (Cil_types.kernel_function -> t) Pervasives.ref
val display_with_formals : (Format.formatter -> Cil_types.kernel_function -> unit) Pervasives.ref