The type "uInt32" is defined in /pliant/language/type/number/int_sized.pli module.


Field Type
b1 Byte
b2 Byte
b3 Byte
b4 Byte

Method name
Arguments

(Pointer uInt32) -> uInt32
(/pliant/language/basic/safe.pli)
implicit
uInt -> uInt32 reduction
uInt32_hi -> uInt32 implicit

uInt32 -> uInt extension
uInt32 -> uInt32_hi implicit