module Pdg: sig .. end
sig
end
Program Dependences Graph.
Functions for this plugin are registered through the Db module, the dynamic API, and the module Below.
Db
module Register: module type of Marks
module type of Marks