Module Register.P

module P: Sparecode_params

include struct ... end
module Analysis: False(sig
val option_name : string
val help : string
end)
Whether to perform spare code detection or not.
module Annot: True(sig
val option_name : string
val help : string
end)
keep more things to keep all reachable annotations.
module GlobDecl: False(sig
val option_name : string
val help : string
end)
remove unused global types and variables