Searched refs:Prims_string (Results 1 – 2 of 2) sorted by relevance
81 extern Prims_string FStar_UInt64_to_string(uint64_t x0);83 extern uint64_t FStar_UInt64_of_string(Prims_string x0);145 extern Prims_string FStar_UInt32_to_string(uint32_t x0);147 extern uint32_t FStar_UInt32_of_string(Prims_string x0);209 extern Prims_string FStar_UInt16_to_string(uint16_t x0);211 extern uint16_t FStar_UInt16_of_string(Prims_string x0);273 extern Prims_string FStar_UInt8_to_string(uint8_t x0);275 extern uint8_t FStar_UInt8_of_string(Prims_string x0);
12 typedef const char *Prims_string; typedef
