1 #pragma once 2 3 #include <inttypes.h> 4 5 typedef struct FStar_UInt128_uint128_s { 6 uint64_t low; 7 uint64_t high; 8 } FStar_UInt128_uint128, uint128_t; 9 10 #define KRML_VERIFIED_UINT128 11 12 #include "krml/lowstar_endianness.h" 13 #include "krml/fstar_uint128_struct_endianness.h" 14 #include "krml/FStar_UInt128_Verified.h" 15