pub const discriminant_kind: Symbol;