module Options:sig
..end
module Enabled:Parameter_sig.Bool
When enabled, the plugin traverses the current AST, and translates variadic functions, references to va_arg and variadic builtins to a semantically code.
module Strict:Parameter_sig.Bool
In strict mode, non-portable casts between integral types are forbidden in calls to LibC's variadic functions.