module OutputFile: Empty_string
(
sig
val option_name : string
val arg_name : string
val help : string
end
)
Pretty print metrics to the given file.
The output format will be recognized through the extension.
Supported extensions are:
"html" or "htm" for HTML
"txt" or "text" for text