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 To_Use: sig .. end
module From: From_compute.Make(To_Use)
val force_compute_all : unit -> unit