The goal of this task is to add the translations of the Move Sui project to the CI for the main crates that we verify. This translation should, in particular, compile what is not the case today, for example, due to the lack of support for the polymorphic constants.
The goal of this task is to add the translations of the Move Sui project to the CI for the main crates that we verify. This translation should, in particular, compile what is not the case today, for example, due to the lack of support for the polymorphic constants.