Constant min_adt_const_params 

pub const min_adt_const_params: Symbol;