Are the integers really signed or unsigned?

Rust code defines the parameters to be signed `i32`:

https://github.com/lurk-lab/RustFFI.lean/blob/af3a8f68d1657d4db9cac43e9bbba0bec1aaf1ad/src/lib.rs#L2

But Lean defines them to be unsigned `UInt32`:

https://github.com/lurk-lab/RustFFI.lean/blob/af3a8f68d1657d4db9cac43e9bbba0bec1aaf1ad/Main.lean#L2

How does that even work 🤯

Compara las definiciones de los parámetros en src/lib.rs línea 2 y Main.lean línea 2 y, a continuación, sigue cómo la frontera FFI de Rust representa y pasa los valores. Determina si la discrepancia de signo es intencionada o un error; se considera terminado cuando el problema tiene una resolución documentada y las definiciones son coherentes si se requiere un cambio.

Escrito por el modelo de indexación a partir del texto del issue.