module Mdr_params:sig
..end
include Plugin.S
module Output:Parameter_sig.Filepath
Value of -mdr-out
.
module Generate:Parameter_sig.String
Value of -mdr-gen
.
module Remarks:Parameter_sig.Filepath
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
.
module PrintLibc:Parameter_sig.Bool
Value of -mdr-print-libc
.
module SarifDeterministic:Parameter_sig.Bool
Value of -mdr-sarif-deterministic
.