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