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


Field Type
b1 Byte
b2 Byte
b3 Byte
b4 Byte

Method name
Arguments

Int -> Int32 reduction

Int32 -> Int extension