Module Callwise

module Callwise: sig .. end

Computation of callwise functional dependencies. The results are computed while the value analysis runs, and the results are usually much more precise than the functionwise results.

Nothing is exported here, the API can be found in the Db.From.Callwise module