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