Module Functionwise

module Functionwise: sig .. end
Computation of functional dependencies. In this module, the results are computed from the synthetic results of the value analysis.

Nothing is exported here, the API can be found in the Db.From module


module Tbl: Kernel_function.Make_Table(Function_Froms)(sig
val name : string
val size : int
val dependencies : State.t list
end)
val force_compute : (Tbl.key -> unit) Pervasives.ref
module Functionwise_From_to_use: sig .. end
module Recording_To_Do: sig .. end
module Value_local: sig .. end
module From: From_compute.Make(Value_local)(Functionwise_From_to_use)(Recording_To_Do)
val force_compute_all : unit -> unit