pub const mir_discriminant: Symbol;