pub const adt_const_params: Symbol;