It seems you're asking about a custom ROM for the Redmi Note 4 (Snapdragon variant, codename: mido or nikel ?) .
Would you like help finding an existing archive link for MIUI Pro on nikel, or do you want to check which exact device model you have? Miui Pro Redmi Note 4 Nikel