Searched defs:pp_int32 (Results 1 – 3 of 3) sorted by relevance
71 operator pp_int32() const in pp_int32() function
31 typedef signed int pp_int32; typedef
737 void pp_int32(yices_pp_t *printer, int32_t x) { in pp_int32() function