Module Sparecode_params.GlobDecl


module GlobDecl: False(sig
val option_name : string
val descr : string
end)
remove unused global types and variables