module Make:
Functor computing the functional dependencies, according to the three modules above.
Parameters: |
|
val compute_and_return : Kernel_function.t -> Function_Froms.t
Compute the dependencies of the given function, and return them
Compute the dependencies of the given function
val compute : Kernel_function.t -> unit