Int32Type typedef

Int32Type = int

Implementation

typedef Int32Type = int;