Module Options

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

include Plugin.S
module Pragma: Parameter_sig.Kernel_function_set 
Use pragmas of given function.
module Print: Parameter_sig.Bool 
Print the impacted stmt on stdout.
module Reason: Parameter_sig.Bool 
Build the graphs that explains why a node is impacted.
module Slicing: Parameter_sig.Bool 
Slicing from the impacted stmt.
module Skip: Parameter_sig.String_set 
Consider that the variables in the string are not impacted
module Upward: Parameter_sig.Bool 
Also compute impact within callers
val is_on : unit -> bool