Module Mdr_params

module Mdr_params: sig .. end
Value of -mdr-out.

include Plugin.S
module Output: Parameter_sig.String 
Value of -mdr-out.
module Generate: Parameter_sig.String 
Value of -mdr-gen.
module Remarks: Parameter_sig.String 
Value of -mdr-remarks.
module FlameGraph: Parameter_sig.String 
Value of -mdr-flamegraph.
module Authors: Parameter_sig.String_list 
Value of -mdr-authors.
module Title: Parameter_sig.String 
Value of -mdr-title.
module Date: Parameter_sig.String 
Value of -mdr-date.
module Stubs: Parameter_sig.String_list 
Value of -mdr-stubs.