The type "uInt" is defined in /pliant/language/type/number/int.pli module.


Field Type
value Int

Method name
Arguments
Result
nbbits
Name
i
 
Type
uInt
Int
Access
Arv
AwvR

(Link uInt) -> uInt
(/pliant/language/basic/safe.pli)		 implicit
(Pointer uInt) -> uInt
(/pliant/language/basic/safe.pli)		 implicit
Address -> uInt
(alias of cast_Address_uInt)		  
DatabaseFlags -> uInt  
Int -> uInt
(alias of cast_Int_uInt)		 reduction
Intn -> uInt reduction
uInt16 -> uInt extension
uInt32 -> uInt extension
uInt64 -> uInt reduction
uInt8 -> uInt extension
uInt_hi -> uInt implicit

uInt -> Address
(alias of cast_uInt_Address)		  
uInt -> DatabaseFlags  
uInt -> Float
(alias of cast_uInt_Float)		 extension
uInt -> Int
(alias of cast_uInt_Int)		 extension
uInt -> Intn extension
uInt -> uInt16 reduction
uInt -> uInt32 reduction
uInt -> uInt64 extension
uInt -> uInt8 reduction
uInt -> uInt_hi implicit