Searched refs:KRML_CHECK_SIZE (Results 1 – 3 of 3) sorted by relevance
84 #define KRML_CHECK_SIZE(size_elt, sz) \ macro
119 KRML_CHECK_SIZE(sizeof (uint128_t), (uint32_t)5U); in Hacl_Bignum_Fmul_fmul()218 KRML_CHECK_SIZE(sizeof (uint128_t), (uint32_t)5U); in Hacl_Bignum_Fsquare_fsquare_times()233 KRML_CHECK_SIZE(sizeof (uint128_t), (uint32_t)5U); in Hacl_Bignum_Fsquare_fsquare_times_inplace()332 KRML_CHECK_SIZE(sizeof (uint128_t), (uint32_t)5U); in Hacl_Bignum_fscalar()
131 KRML_CHECK_SIZE(sizeof (FStar_UInt128_uint128), (uint32_t)5U); in Hacl_Bignum_Fmul_fmul()260 KRML_CHECK_SIZE(sizeof (FStar_UInt128_uint128), (uint32_t)5U); in Hacl_Bignum_Fsquare_fsquare_times()275 KRML_CHECK_SIZE(sizeof (FStar_UInt128_uint128), (uint32_t)5U); in Hacl_Bignum_Fsquare_fsquare_times_inplace()374 KRML_CHECK_SIZE(sizeof (FStar_UInt128_uint128), (uint32_t)5U); in Hacl_Bignum_fscalar()
Completed in 12 milliseconds