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.