isn't android one the stock rom on the mi a2 lite?
Never heard of a a2 lite that has miui as standard rom? Are you talking about the Redmi 6 PRO?
btw i think the link is a android one rom and not miui.
i'm afraid you need to wait for some miui port or maybe a GSI rom wil work?
I think the a2 lite supports project treble...