A teardown of the Redmi Note 5 Pro's firmware has revealed the famous "ro.treble.enabled" line in its build.prop, one that points towards the presence of Project Treble support in the build. MIUI is certainly divisive, so Treble support will boost the device's community support and enhance its overall package.
https://www.notebookcheck.net/The-Android-8-1-update-for-the-Redmi-Note-5-Pro-will-likely-bring-Treble-support.285148.0.html