Module Mdr_params

module Mdr_params: sig .. end

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.

module PrintLibc: Parameter_sig.Bool 

Value of -mdr-print-libc.

module SarifDeterministic: Parameter_sig.Bool 

Value of -mdr-sarif-deterministic.