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