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


Field Type
b1 Byte
b2 Byte

Method name
Arguments

Int -> Int16 reduction

Int16 -> Int extension