Home
last modified time | relevance | path

Searched refs:Prims_string (Results 1 – 2 of 2) sorted by relevance

/mbedtls-development/3rdparty/everest/include/everest/kremlib/
A DFStar_UInt64_FStar_UInt32_FStar_UInt16_FStar_UInt8.h81 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);
/mbedtls-development/3rdparty/everest/include/everest/kremlin/internal/
A Dcompat.h12 typedef const char *Prims_string; typedef

Completed in 70 milliseconds