pub const discriminant_value: Symbol;