how can I call `Int.toUInt()`, or otherwise construct a `UInt`, from Java?

# getting-started

[y]

how can I call Int.toUInt(), or otherwise construct a UInt, from Java?

[Michael Krussel]

I would guess it would be something like

UIntKt.toUInt(myInt).

But since the class is just an inline wrapper around an int, all it will do is return the same value passed in and the return type in Java will be int.