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
.