Module Sparecode_params

module Sparecode_params: sig .. end

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