Index of values

B
build_cil_file [Transform.Info]
G
get [Register]	Remove in each function what isn't used to compute its outputs, or its annotations when `select_annot` is true, or its slicing pragmas when `select_slice_pragmas` is true.
get [Sparecode.Register]	Remove in each function what isn't used to compute its outputs, or its annotations when `select_annot` is true, or its slicing pragmas when `select_slice_pragmas` is true.
get_marks [Spare_marks]
K
key_visible [Spare_marks]
kf_visible [Spare_marks]	Useful mainly if there has been some Pdg.Top
O
off [Parameter_sig.Bool]	Set the boolean to `false`.
on [Parameter_sig.Bool]	Set the boolean to `true`.
R
rm_unused_decl [Globs]
rm_unused_globals [Register]	Remove unused global types and variables from the given project (the current one if no project given).
rm_unused_globals [Sparecode.Register]	Remove unused global types and variables from the given project (the current one if no project given).
S
select_useful_things [Spare_marks]