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