Module Postdominators

module Compute : sig ... end

Register the plugin in the Frama-C kernel. Nothing is exported.

module Postdominators_parameters : sig ... end
module Print : sig ... end