module Options: sig .. end
sig
end
include Plugin.S
module Run: Parameter_sig.Bool
Parameter_sig.Bool
module MaxIterations: Parameter_sig.Int
Parameter_sig.Int
module MaxSlevel: Parameter_sig.Int