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