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

State for the analysis of one function call