Module Pdg

module Pdg: sig .. end

Program Dependences Graph.


Functions for this plugin are registered through the Db module, the dynamic API, and the module Below.

module Register: module type of Marks