Module Postdominators_parameters

module Postdominators_parameters: sig .. end

include Plugin.General_services
module DotPostdomBasename: Parameter_sig.String