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