Module Options

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

include struct ... end
module Pragma: Kernel_function_set(sig
val option_name : string
val arg_name : string
val help : string
end)
Use pragmas of given function.
module Print: False(sig
val option_name : string
val help : string
end)
Print the impacted stmt on stdout.
module Reason: False(sig
val option_name : string
val help : string
end)
Build the graphs that explains why a node is impacted.
module Slicing: False(sig
val option_name : string
val help : string
end)
Slicing from the impacted stmt.
module Skip: String_set(sig
val arg_name : string
val help : string
val option_name : string
end)
Consider that the variables in the string are not impacted
module Upward: True(sig
val option_name : string
val help : string
end)
Also compute impact within callers
val is_on : unit -> bool