Module Register.P

module P: Sparecode_params

include Plugin.S
module Analysis: Parameter_sig.Bool 
Whether to perform spare code detection or not.
module Annot: Parameter_sig.Bool 
keep more things to keep all reachable annotations.
module GlobDecl: Parameter_sig.Bool 
remove unused global types and variables