Constant mir_set_discriminant 

pub const mir_set_discriminant: Symbol;