Module Db.Outputs


module Outputs: sig .. end
Computation of outputs. That is over-approximation of zones written by each function.

Computation of operational inputs. That is:


See also
include Db.INOUT
val display_external : (Format.formatter -> Db_types.kernel_function -> unit) Pervasives.ref