module Inputs:Computation of read inputs. That is over-approximation of zones read by each function.sig
..end
include Db.INOUT
val self_with_formals : Project.Computation.t Pervasives.ref
val get_with_formals : (Db_types.kernel_function -> t) Pervasives.ref
val display_with_formals : (Format.formatter -> Db_types.kernel_function -> unit) Pervasives.ref