Constant mir_discriminant 

pub const mir_discriminant: Symbol;