The type "uInt16" is defined in
/pliant/language/type/number/int_sized.pli
module.
Field
Type
b1
Byte
b2
Byte
Method name
Arguments
uInt -> uInt16
reduction
uInt16_hi -> uInt16
implicit
uInt16 -> uInt
extension
uInt16 -> uInt16_hi
implicit