Module Options


module Options: sig .. end
Use pragmas of given function.

include struct ... end
module Pragma: StringSet(sig
val option_name : string
val arg_name : string
val help : string
val kind : [> `Correctness ]
end)
Use pragmas of given function.
module Print: False(sig
val option_name : string
val help : string
val kind : [> `Tuning ]
end)
Print the impacted stmt on stdout.
module Slicing: False(sig
val option_name : string
val help : string
val kind : [> `Tuning ]
end)
Slicing from the impacted stmt.
val is_on : unit -> bool