One doc tagged with "uint"

Scilla defines signed and unsigned integer types of 32, 64, 128, and 256 bits.