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


Field Type
b1 Byte

Method name
Arguments

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

uInt8 -> uInt extension