Functor From_compute.Make

module Make: functor (To_Use : To_Use) -> sig .. end

Functor computing the functional dependencies, according to the three modules above.

Parameters:

To_Use : To_Use

val compute_and_return : Kernel_function.t -> Function_Froms.t

Compute the dependencies of the given function, and return them

val compute : Kernel_function.t -> unit

Compute the dependencies of the given function