Home
last modified time | relevance | path

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

/mbedtls-development/3rdparty/everest/include/everest/kremlib/
A DFStar_UInt64_FStar_UInt32_FStar_UInt16_FStar_UInt8.h21 extern Prims_int FStar_UInt64_n;
23 extern Prims_int FStar_UInt64_v(uint64_t x0);
25 extern uint64_t FStar_UInt64_uint_to_t(Prims_int x0);
85 extern Prims_int FStar_UInt32_n;
87 extern Prims_int FStar_UInt32_v(uint32_t x0);
89 extern uint32_t FStar_UInt32_uint_to_t(Prims_int x0);
149 extern Prims_int FStar_UInt16_n;
151 extern Prims_int FStar_UInt16_v(uint16_t x0);
213 extern Prims_int FStar_UInt8_n;
215 extern Prims_int FStar_UInt8_v(uint8_t x0);
[all …]
/mbedtls-development/3rdparty/everest/include/everest/kremlin/internal/
A Dcompat.h19 typedef int32_t Prims_pos, Prims_nat, Prims_nonzero, Prims_int, typedef

Completed in 5 milliseconds