pub const discriminant_type: Symbol;