module Outputs:Computation of outputs. That is over-approximation of zones written by each function.sig
..end
Computation of operational inputs. That is:
include Db.INOUT
val display_external : (Format.formatter -> Db_types.kernel_function -> unit) Pervasives.ref