I was looking for more details about Move IR syntax, and I didn’t found a lot.
Especially, it’s not clear for me what is the right relation between Move IR and Rust. I understood that Move IR has a lot of characteristics of Rust like First Class Resources and so on. And then I understood that the compiler, the verifier and the VM are built in Rust.
But which is the right relation between Move IR and Rust? Is there any doc or paper that explains well the Move IR syntax?
Thanks in advance