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