module Options:sig
..end
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