module From_parameters:sig
..end
include Plugin.S
module ForceDeps:Parameter_sig.With_output
Option -deps
module ForceCallDeps:Parameter_sig.With_output
Option -calldeps.
module ShowIndirectDeps:Parameter_sig.Bool
Option -show-indirect-deps
module VerifyAssigns:Parameter_sig.Bool
Option -from-verify-assigns.