Symbol: KRML_CLITERAL
usr.bin/ssh/libcrux_internal.h
10136
KRML_CLITERAL(core_ops_range_Range_87){
usr.bin/ssh/libcrux_internal.h
10175
KRML_CLITERAL(core_ops_range_Range_87){
usr.bin/ssh/libcrux_internal.h
10276
KRML_CLITERAL(core_ops_range_Range_87){
usr.bin/ssh/libcrux_internal.h
10315
KRML_CLITERAL(core_ops_range_Range_87){
usr.bin/ssh/libcrux_internal.h
10502
KRML_CLITERAL(core_ops_range_Range_87){
usr.bin/ssh/libcrux_internal.h
1067
(KRML_CLITERAL(Eurydice_borrow_slice_u8){ .ptr = a->data + r, .meta = (size_t)64U - r });
usr.bin/ssh/libcrux_internal.h
1080
(KRML_CLITERAL(Eurydice_borrow_slice_u8){ .ptr = a->data + r.start, .meta = r.end - r.start });
usr.bin/ssh/libcrux_internal.h
10866
KRML_CLITERAL(core_ops_range_Range_87){
usr.bin/ssh/libcrux_internal.h
10912
KRML_CLITERAL(core_ops_range_Range_87){
usr.bin/ssh/libcrux_internal.h
1116
(KRML_CLITERAL(Eurydice_mut_borrow_slice_u8){ .ptr = a->data + r, .meta = (size_t)1088U - r });
usr.bin/ssh/libcrux_internal.h
1130
KRML_CLITERAL(Eurydice_mut_borrow_slice_u8){
usr.bin/ssh/libcrux_internal.h
1171
KRML_CLITERAL(Eurydice_mut_borrow_slice_u8){
usr.bin/ssh/libcrux_internal.h
1274
KRML_CLITERAL(Eurydice_mut_borrow_slice_u8){
usr.bin/ssh/libcrux_internal.h
1299
(KRML_CLITERAL(Eurydice_borrow_slice_i16){ .ptr = a->data + r.start, .meta = r.end - r.start });
usr.bin/ssh/libcrux_internal.h
1320
(KRML_CLITERAL(Eurydice_borrow_slice_u8){ .ptr = a->data + r.start, .meta = r.end - r.start });
usr.bin/ssh/libcrux_internal.h
1358
KRML_CLITERAL(Eurydice_mut_borrow_slice_i16){
usr.bin/ssh/libcrux_internal.h
13795
return (KRML_CLITERAL(Eurydice_arr_93){ .data = { 0U } });
usr.bin/ssh/libcrux_internal.h
1383
(KRML_CLITERAL(Eurydice_borrow_slice_u8){ .ptr = a->data + r.start, .meta = r.end - r.start });
usr.bin/ssh/libcrux_internal.h
13871
KRML_CLITERAL(Eurydice_dst_ref_shared_44){ .ptr = a->data + r.start, .meta = r.end - r.start }
usr.bin/ssh/libcrux_internal.h
14001
return (KRML_CLITERAL(Eurydice_arr_0c){ .data = { 0U } });
usr.bin/ssh/libcrux_internal.h
14106
KRML_CLITERAL(Eurydice_dst_ref_shared_44){ .ptr = a->data + r.start, .meta = r.end - r.start }
usr.bin/ssh/libcrux_internal.h
14193
KRML_CLITERAL(core_ops_range_Range_87){
usr.bin/ssh/libcrux_internal.h
1432
return (KRML_CLITERAL(Eurydice_borrow_slice_u8){ .ptr = s.ptr + r, .meta = s.meta - r });
usr.bin/ssh/libcrux_internal.h
14441
KRML_CLITERAL(core_ops_range_Range_87){
usr.bin/ssh/libcrux_internal.h
14481
(KRML_CLITERAL(core_ops_range_Range_87){ .start = (size_t)0U, .end = commitment_hash_size })),
usr.bin/ssh/libcrux_internal.h
14498
KRML_CLITERAL(core_ops_range_Range_87){
usr.bin/ssh/libcrux_internal.h
14556
KRML_CLITERAL(core_result_Result_41){
usr.bin/ssh/libcrux_internal.h
14564
uu____2 = (KRML_CLITERAL(core_result_Result_41){ .tag = core_result_Ok });
usr.bin/ssh/libcrux_internal.h
14586
KRML_CLITERAL(core_ops_range_Range_87){
usr.bin/ssh/libcrux_internal.h
14614
KRML_CLITERAL(core_ops_range_Range_87){
usr.bin/ssh/libcrux_internal.h
14691
KRML_CLITERAL(core_ops_range_Range_87){
usr.bin/ssh/libcrux_internal.h
14723
KRML_CLITERAL(core_ops_range_Range_87){
usr.bin/ssh/libcrux_internal.h
14737
KRML_CLITERAL(core_ops_range_Range_87){
usr.bin/ssh/libcrux_internal.h
14781
KRML_CLITERAL(core_ops_range_Range_87){
usr.bin/ssh/libcrux_internal.h
1483
(KRML_CLITERAL(Eurydice_mut_borrow_slice_u8){ .ptr = a->data + r, .meta = (size_t)1120U - r });
usr.bin/ssh/libcrux_internal.h
1497
KRML_CLITERAL(Eurydice_mut_borrow_slice_u8){
usr.bin/ssh/libcrux_internal.h
14985
KRML_CLITERAL(core_ops_range_Range_87){
usr.bin/ssh/libcrux_internal.h
15014
KRML_CLITERAL(core_ops_range_Range_87){
usr.bin/ssh/libcrux_internal.h
15137
KRML_CLITERAL(core_ops_range_Range_87){
usr.bin/ssh/libcrux_internal.h
1514
(KRML_CLITERAL(Eurydice_mut_borrow_slice_u8){ .ptr = a->data + r, .meta = (size_t)64U - r });
usr.bin/ssh/libcrux_internal.h
15169
KRML_CLITERAL(core_ops_range_Range_87){
usr.bin/ssh/libcrux_internal.h
15200
KRML_CLITERAL(core_ops_range_Range_87){
usr.bin/ssh/libcrux_internal.h
15230
KRML_CLITERAL(core_ops_range_Range_87){
usr.bin/ssh/libcrux_internal.h
15253
return (KRML_CLITERAL(Eurydice_arr_85){ .data = { 0U } });
usr.bin/ssh/libcrux_internal.h
15275
KRML_CLITERAL(core_ops_range_Range_87){
usr.bin/ssh/libcrux_internal.h
1528
KRML_CLITERAL(Eurydice_mut_borrow_slice_u8){
usr.bin/ssh/libcrux_internal.h
15305
KRML_CLITERAL(core_ops_range_Range_87){
usr.bin/ssh/libcrux_internal.h
15332
KRML_CLITERAL(core_ops_range_Range_87){
usr.bin/ssh/libcrux_internal.h
15356
KRML_CLITERAL(core_ops_range_Range_87){
usr.bin/ssh/libcrux_internal.h
15374
KRML_CLITERAL(core_ops_range_Range_87){
usr.bin/ssh/libcrux_internal.h
1545
(KRML_CLITERAL(Eurydice_borrow_slice_u8){ .ptr = a->data + r, .meta = (size_t)1088U - r });
usr.bin/ssh/libcrux_internal.h
15501
KRML_CLITERAL(Eurydice_dst_ref_shared_44){ .ptr = a->data + r.start, .meta = r.end - r.start }
usr.bin/ssh/libcrux_internal.h
15554
KRML_CLITERAL(core_ops_range_Range_87){
usr.bin/ssh/libcrux_internal.h
1558
(KRML_CLITERAL(Eurydice_borrow_slice_u8){ .ptr = a->data + r.start, .meta = r.end - r.start });
usr.bin/ssh/libcrux_internal.h
15610
KRML_CLITERAL(core_ops_range_Range_87){
usr.bin/ssh/libcrux_internal.h
15652
KRML_CLITERAL(core_ops_range_Range_87){
usr.bin/ssh/libcrux_internal.h
15933
KRML_CLITERAL(libcrux_ml_dsa_hash_functions_portable_Shake128X4){
usr.bin/ssh/libcrux_internal.h
15970
KRML_CLITERAL(libcrux_ml_dsa_hash_functions_portable_Shake256X4){
usr.bin/ssh/libcrux_internal.h
16015
(KRML_CLITERAL(Eurydice_arr_ff_x4){ .fst = out0, .snd = out1, .thd = out2, .f3 = out3 });
usr.bin/ssh/libcrux_internal.h
16055
(KRML_CLITERAL(Eurydice_arr_c5_x4){ .fst = out0, .snd = out1, .thd = out2, .f3 = out3 });
usr.bin/ssh/libcrux_internal.h
16085
(KRML_CLITERAL(Eurydice_arr_ff_x4){ .fst = out0, .snd = out1, .thd = out2, .f3 = out3 });
usr.bin/ssh/libcrux_internal.h
16904
KRML_CLITERAL(core_ops_range_Range_87){
usr.bin/ssh/libcrux_internal.h
16914
KRML_CLITERAL(core_ops_range_Range_87){
usr.bin/ssh/libcrux_internal.h
16927
KRML_CLITERAL(core_ops_range_Range_87){
usr.bin/ssh/libcrux_internal.h
16942
KRML_CLITERAL(core_ops_range_Range_87){
usr.bin/ssh/libcrux_internal.h
16956
KRML_CLITERAL(core_ops_range_Range_87){
usr.bin/ssh/libcrux_internal.h
17049
KRML_CLITERAL(core_ops_range_Range_87){
usr.bin/ssh/libcrux_internal.h
17083
KRML_CLITERAL(Eurydice_borrow_slice_u8){
usr.bin/ssh/libcrux_internal.h
1717
(KRML_CLITERAL(Eurydice_borrow_slice_i16){ .ptr = a->data + r.start, .meta = r.end - r.start });
usr.bin/ssh/libcrux_internal.h
1743
(KRML_CLITERAL(Eurydice_borrow_slice_i16){ .ptr = s.ptr + r.start, .meta = r.end - r.start });
usr.bin/ssh/libcrux_internal.h
17473
(KRML_CLITERAL(core_ops_range_Range_87){ .start = (size_t)0U, .end = (size_t)8U })).ptr,
usr.bin/ssh/libcrux_internal.h
17478
KRML_CLITERAL(core_result_Result_8e){ .tag = core_result_Ok, .val = { .case_Ok = arr } }
usr.bin/ssh/libcrux_internal.h
17775
KRML_CLITERAL(core_option_Option_14){
usr.bin/ssh/libcrux_internal.h
17781
(KRML_CLITERAL(core_option_Option_d9){ .tag = core_option_Some, .f0 = mask });
usr.bin/ssh/libcrux_internal.h
17784
KRML_CLITERAL(core_option_Option_51){
usr.bin/ssh/libcrux_internal.h
17799
KRML_CLITERAL(core_result_Result_53){
usr.bin/ssh/libcrux_internal.h
17813
KRML_CLITERAL(core_result_Result_53){
usr.bin/ssh/libcrux_internal.h
17837
return (KRML_CLITERAL(core_result_Result_53){ .tag = core_result_Ok });
usr.bin/ssh/libcrux_internal.h
17841
KRML_CLITERAL(core_result_Result_53){
usr.bin/ssh/libcrux_internal.h
17869
(KRML_CLITERAL(core_option_Option_57){ .tag = core_option_None }));
usr.bin/ssh/libcrux_internal.h
17874
KRML_CLITERAL(core_result_Result_53){
usr.bin/ssh/libcrux_internal.h
17886
KRML_CLITERAL(core_option_Option_84){
usr.bin/ssh/libcrux_internal.h
17922
KRML_CLITERAL(core_result_Result_48){
usr.bin/ssh/libcrux_internal.h
17932
(KRML_CLITERAL(core_result_Result_48){ .tag = core_result_Err, .val = { .case_Err = e } });
usr.bin/ssh/libcrux_internal.h
1801
(KRML_CLITERAL(Eurydice_borrow_slice_u8){ .ptr = a->data + r.start, .meta = r.end - r.start });
usr.bin/ssh/libcrux_internal.h
18016
KRML_CLITERAL(core_option_Option_57){
usr.bin/ssh/libcrux_internal.h
18025
KRML_CLITERAL(core_result_Result_53){
usr.bin/ssh/libcrux_internal.h
18036
KRML_CLITERAL(Eurydice_borrow_slice_u8){
usr.bin/ssh/libcrux_internal.h
18042
KRML_CLITERAL(core_option_Option_84){
usr.bin/ssh/libcrux_internal.h
18052
KRML_CLITERAL(core_result_Result_53){
usr.bin/ssh/libcrux_internal.h
18088
KRML_CLITERAL(core_result_Result_48){
usr.bin/ssh/libcrux_internal.h
18098
(KRML_CLITERAL(core_result_Result_48){ .tag = core_result_Err, .val = { .case_Err = e } });
usr.bin/ssh/libcrux_internal.h
1815
KRML_CLITERAL(Eurydice_mut_borrow_slice_u8){
usr.bin/ssh/libcrux_internal.h
18200
KRML_CLITERAL(core_result_Result_41){
usr.bin/ssh/libcrux_internal.h
18266
uu____2 = (KRML_CLITERAL(core_result_Result_41){ .tag = core_result_Ok });
usr.bin/ssh/libcrux_internal.h
18272
KRML_CLITERAL(core_result_Result_41){
usr.bin/ssh/libcrux_internal.h
18283
uu____2 = (KRML_CLITERAL(core_result_Result_41){ .tag = core_result_Err, .f0 = e });
usr.bin/ssh/libcrux_internal.h
18305
(KRML_CLITERAL(core_option_Option_57){ .tag = core_option_None }));
usr.bin/ssh/libcrux_internal.h
18310
KRML_CLITERAL(core_result_Result_41){
usr.bin/ssh/libcrux_internal.h
18322
KRML_CLITERAL(core_option_Option_84){
usr.bin/ssh/libcrux_internal.h
18368
KRML_CLITERAL(core_option_Option_57){
usr.bin/ssh/libcrux_internal.h
18377
KRML_CLITERAL(core_result_Result_41){
usr.bin/ssh/libcrux_internal.h
18388
KRML_CLITERAL(Eurydice_borrow_slice_u8){
usr.bin/ssh/libcrux_internal.h
18394
KRML_CLITERAL(core_option_Option_84){
usr.bin/ssh/libcrux_internal.h
1846
(KRML_CLITERAL(Eurydice_borrow_slice_u8){ .ptr = a->data + r.start, .meta = r.end - r.start });
usr.bin/ssh/libcrux_internal.h
18506
KRML_CLITERAL(core_ops_range_Range_87){
usr.bin/ssh/libcrux_internal.h
18540
KRML_CLITERAL(Eurydice_borrow_slice_u8){
usr.bin/ssh/libcrux_internal.h
1860
KRML_CLITERAL(Eurydice_mut_borrow_slice_u8){
usr.bin/ssh/libcrux_internal.h
18829
KRML_CLITERAL(core_option_Option_81){
usr.bin/ssh/libcrux_internal.h
18835
(KRML_CLITERAL(core_option_Option_1e){ .tag = core_option_Some, .f0 = mask });
usr.bin/ssh/libcrux_internal.h
18838
KRML_CLITERAL(core_option_Option_05){
usr.bin/ssh/libcrux_internal.h
1885
(KRML_CLITERAL(Eurydice_borrow_slice_u8){ .ptr = a->data + r.start, .meta = r.end - r.start });
usr.bin/ssh/libcrux_internal.h
18853
KRML_CLITERAL(core_result_Result_53){
usr.bin/ssh/libcrux_internal.h
18867
KRML_CLITERAL(core_result_Result_53){
usr.bin/ssh/libcrux_internal.h
18891
return (KRML_CLITERAL(core_result_Result_53){ .tag = core_result_Ok });
usr.bin/ssh/libcrux_internal.h
18895
KRML_CLITERAL(core_result_Result_53){
usr.bin/ssh/libcrux_internal.h
18923
(KRML_CLITERAL(core_option_Option_57){ .tag = core_option_None }));
usr.bin/ssh/libcrux_internal.h
18928
KRML_CLITERAL(core_result_Result_53){
usr.bin/ssh/libcrux_internal.h
18940
KRML_CLITERAL(core_option_Option_84){
usr.bin/ssh/libcrux_internal.h
18976
KRML_CLITERAL(core_result_Result_8c){
usr.bin/ssh/libcrux_internal.h
18986
(KRML_CLITERAL(core_result_Result_8c){ .tag = core_result_Err, .val = { .case_Err = e } });
usr.bin/ssh/libcrux_internal.h
1899
KRML_CLITERAL(Eurydice_mut_borrow_slice_u8){
usr.bin/ssh/libcrux_internal.h
19052
KRML_CLITERAL(core_option_Option_57){
usr.bin/ssh/libcrux_internal.h
19061
KRML_CLITERAL(core_result_Result_53){
usr.bin/ssh/libcrux_internal.h
19072
KRML_CLITERAL(Eurydice_borrow_slice_u8){
usr.bin/ssh/libcrux_internal.h
19078
KRML_CLITERAL(core_option_Option_84){
usr.bin/ssh/libcrux_internal.h
19088
KRML_CLITERAL(core_result_Result_53){
usr.bin/ssh/libcrux_internal.h
19124
KRML_CLITERAL(core_result_Result_8c){
usr.bin/ssh/libcrux_internal.h
19134
(KRML_CLITERAL(core_result_Result_8c){ .tag = core_result_Err, .val = { .case_Err = e } });
usr.bin/ssh/libcrux_internal.h
19241
KRML_CLITERAL(core_result_Result_41){
usr.bin/ssh/libcrux_internal.h
1927
(KRML_CLITERAL(Eurydice_dst_ref_mut_83){ .ptr = s.ptr + r.start, .meta = r.end - r.start });
usr.bin/ssh/libcrux_internal.h
19307
uu____2 = (KRML_CLITERAL(core_result_Result_41){ .tag = core_result_Ok });
usr.bin/ssh/libcrux_internal.h
19313
KRML_CLITERAL(core_result_Result_41){
usr.bin/ssh/libcrux_internal.h
19324
uu____2 = (KRML_CLITERAL(core_result_Result_41){ .tag = core_result_Err, .f0 = e });
usr.bin/ssh/libcrux_internal.h
19346
(KRML_CLITERAL(core_option_Option_57){ .tag = core_option_None }));
usr.bin/ssh/libcrux_internal.h
19351
KRML_CLITERAL(core_result_Result_41){
usr.bin/ssh/libcrux_internal.h
19363
KRML_CLITERAL(core_option_Option_84){
usr.bin/ssh/libcrux_internal.h
19409
KRML_CLITERAL(core_option_Option_57){
usr.bin/ssh/libcrux_internal.h
19418
KRML_CLITERAL(core_result_Result_41){
usr.bin/ssh/libcrux_internal.h
19429
KRML_CLITERAL(Eurydice_borrow_slice_u8){
usr.bin/ssh/libcrux_internal.h
19435
KRML_CLITERAL(core_option_Option_84){
usr.bin/ssh/libcrux_internal.h
19547
KRML_CLITERAL(core_ops_range_Range_87){
usr.bin/ssh/libcrux_internal.h
19581
KRML_CLITERAL(Eurydice_borrow_slice_u8){
usr.bin/ssh/libcrux_internal.h
19870
KRML_CLITERAL(core_option_Option_b2){
usr.bin/ssh/libcrux_internal.h
19876
(KRML_CLITERAL(core_option_Option_2d){ .tag = core_option_Some, .f0 = mask });
usr.bin/ssh/libcrux_internal.h
19879
KRML_CLITERAL(core_option_Option_45){
usr.bin/ssh/libcrux_internal.h
19894
KRML_CLITERAL(core_result_Result_53){
usr.bin/ssh/libcrux_internal.h
19908
KRML_CLITERAL(core_result_Result_53){
usr.bin/ssh/libcrux_internal.h
19932
return (KRML_CLITERAL(core_result_Result_53){ .tag = core_result_Ok });
usr.bin/ssh/libcrux_internal.h
19936
KRML_CLITERAL(core_result_Result_53){
usr.bin/ssh/libcrux_internal.h
19964
(KRML_CLITERAL(core_option_Option_57){ .tag = core_option_None }));
usr.bin/ssh/libcrux_internal.h
19969
KRML_CLITERAL(core_result_Result_53){
usr.bin/ssh/libcrux_internal.h
19981
KRML_CLITERAL(core_option_Option_84){
usr.bin/ssh/libcrux_internal.h
20017
KRML_CLITERAL(core_result_Result_8b){
usr.bin/ssh/libcrux_internal.h
20027
(KRML_CLITERAL(core_result_Result_8b){ .tag = core_result_Err, .val = { .case_Err = e } });
usr.bin/ssh/libcrux_internal.h
20093
KRML_CLITERAL(core_option_Option_57){
usr.bin/ssh/libcrux_internal.h
20102
KRML_CLITERAL(core_result_Result_53){
usr.bin/ssh/libcrux_internal.h
20113
KRML_CLITERAL(Eurydice_borrow_slice_u8){
usr.bin/ssh/libcrux_internal.h
20119
KRML_CLITERAL(core_option_Option_84){
usr.bin/ssh/libcrux_internal.h
20129
KRML_CLITERAL(core_result_Result_53){
usr.bin/ssh/libcrux_internal.h
20165
KRML_CLITERAL(core_result_Result_8b){
usr.bin/ssh/libcrux_internal.h
20175
(KRML_CLITERAL(core_result_Result_8b){ .tag = core_result_Err, .val = { .case_Err = e } });
usr.bin/ssh/libcrux_internal.h
20282
KRML_CLITERAL(core_result_Result_41){
usr.bin/ssh/libcrux_internal.h
20348
uu____2 = (KRML_CLITERAL(core_result_Result_41){ .tag = core_result_Ok });
usr.bin/ssh/libcrux_internal.h
20354
KRML_CLITERAL(core_result_Result_41){
usr.bin/ssh/libcrux_internal.h
20365
uu____2 = (KRML_CLITERAL(core_result_Result_41){ .tag = core_result_Err, .f0 = e });
usr.bin/ssh/libcrux_internal.h
20387
(KRML_CLITERAL(core_option_Option_57){ .tag = core_option_None }));
usr.bin/ssh/libcrux_internal.h
20392
KRML_CLITERAL(core_result_Result_41){
usr.bin/ssh/libcrux_internal.h
20404
KRML_CLITERAL(core_option_Option_84){
usr.bin/ssh/libcrux_internal.h
20450
KRML_CLITERAL(core_option_Option_57){
usr.bin/ssh/libcrux_internal.h
20459
KRML_CLITERAL(core_result_Result_41){
usr.bin/ssh/libcrux_internal.h
20470
KRML_CLITERAL(Eurydice_borrow_slice_u8){
usr.bin/ssh/libcrux_internal.h
20476
KRML_CLITERAL(core_option_Option_84){
usr.bin/ssh/libcrux_internal.h
20549
KRML_CLITERAL(libcrux_ml_dsa_ml_dsa_generic_ml_dsa_44_MLDSA44KeyPair){
usr.bin/ssh/libcrux_internal.h
20722
KRML_CLITERAL(libcrux_ml_dsa_ml_dsa_generic_ml_dsa_65_MLDSA65KeyPair){
usr.bin/ssh/libcrux_internal.h
20910
KRML_CLITERAL(libcrux_ml_dsa_ml_dsa_generic_ml_dsa_87_MLDSA87KeyPair){
usr.bin/ssh/libcrux_internal.h
21086
#define LIBCRUX_ML_KEM_POLYNOMIAL_ZETAS_TIMES_MONTGOMERY_R ((KRML_CLITERAL(Eurydice_arr_34){ .data = { -1044, -758, -359, -1517, 1493, 1422, 287, 202, -171, 622, 1577, 182, 962, -1202, -1474, 1468, 573, -1325, 264, 383, -829, 1458, -1602, -130, -681, 1017, 732, 608, -1542, 411, -205, -1571, 1223, 652, -552, 1015, -1293, 1491, -282, -1544, 516, -8, -320, -666, -1618, -1162, 126, 1469, -853, -90, -271, 830, 107, -1421, -247, -951, -398, 961, -1508, -725, 448, -1065, 677, -1275, -1103, 430, 555, 843, -1251, 871, 1550, 105, 422, 587, 177, -235, -291, -460, 1574, 1653, -246, 778, 1159, -147, -777, 1483, -602, 1119, -1590, 644, -872, 349, 418, 329, -156, -75, 817, 1097, 603, 610, 1322, -1285, -1465, 384, -1215, -136, 1218, -1335, -874, 220, -1187, -1659, -1185, -1530, -1278, 794, -1510, -854, -870, 478, -108, -308, 996, 991, 958, -1460, 1522, 1628 } }))
usr.bin/ssh/libcrux_internal.h
21109
(KRML_CLITERAL(core_ops_range_Range_87){ .start = (size_t)0U, .end = (size_t)16U })).ptr,
usr.bin/ssh/libcrux_internal.h
21113
KRML_CLITERAL(core_result_Result_ec){ .tag = core_result_Ok, .val = { .case_Ok = arr } }
usr.bin/ssh/libcrux_internal.h
21131
KRML_CLITERAL(Eurydice_arr_d6){ .data = { 0U } }
usr.bin/ssh/libcrux_internal.h
21889
return (KRML_CLITERAL(Eurydice_array_u8x2){ .data = { result0, result1 } });
usr.bin/ssh/libcrux_internal.h
21928
KRML_CLITERAL(Eurydice_arr_d6){
usr.bin/ssh/libcrux_internal.h
21973
(KRML_CLITERAL(uint8_t_x4){ .fst = result0, .snd = result1, .thd = result2, .f3 = result3 });
usr.bin/ssh/libcrux_internal.h
21982
(KRML_CLITERAL(core_ops_range_Range_87){ .start = (size_t)0U, .end = (size_t)8U })));
usr.bin/ssh/libcrux_internal.h
21986
(KRML_CLITERAL(core_ops_range_Range_87){ .start = (size_t)8U, .end = (size_t)16U })));
usr.bin/ssh/libcrux_internal.h
21989
KRML_CLITERAL(Eurydice_array_u8x8){
usr.bin/ssh/libcrux_internal.h
22026
KRML_CLITERAL(int16_t_x8){
usr.bin/ssh/libcrux_internal.h
22045
(KRML_CLITERAL(core_ops_range_Range_87){ .start = (size_t)0U, .end = (size_t)4U })));
usr.bin/ssh/libcrux_internal.h
22049
(KRML_CLITERAL(core_ops_range_Range_87){ .start = (size_t)4U, .end = (size_t)8U })));
usr.bin/ssh/libcrux_internal.h
22052
KRML_CLITERAL(Eurydice_arr_d6){
usr.bin/ssh/libcrux_internal.h
22094
return (KRML_CLITERAL(uint8_t_x5){ .fst = r0, .snd = r1, .thd = r2, .f3 = r3, .f4 = r4 });
usr.bin/ssh/libcrux_internal.h
22103
(KRML_CLITERAL(core_ops_range_Range_87){ .start = (size_t)0U, .end = (size_t)4U })));
usr.bin/ssh/libcrux_internal.h
22107
(KRML_CLITERAL(core_ops_range_Range_87){ .start = (size_t)4U, .end = (size_t)8U })));
usr.bin/ssh/libcrux_internal.h
22111
(KRML_CLITERAL(core_ops_range_Range_87){ .start = (size_t)8U, .end = (size_t)12U })));
usr.bin/ssh/libcrux_internal.h
22115
(KRML_CLITERAL(core_ops_range_Range_87){ .start = (size_t)12U, .end = (size_t)16U })));
usr.bin/ssh/libcrux_internal.h
22118
KRML_CLITERAL(Eurydice_arr_fc){
usr.bin/ssh/libcrux_internal.h
22193
KRML_CLITERAL(int16_t_x8){
usr.bin/ssh/libcrux_internal.h
22212
(KRML_CLITERAL(core_ops_range_Range_87){ .start = (size_t)0U, .end = (size_t)10U })));
usr.bin/ssh/libcrux_internal.h
22216
(KRML_CLITERAL(core_ops_range_Range_87){ .start = (size_t)10U, .end = (size_t)20U })));
usr.bin/ssh/libcrux_internal.h
22219
KRML_CLITERAL(Eurydice_arr_d6){
usr.bin/ssh/libcrux_internal.h
22252
return (KRML_CLITERAL(uint8_t_x3){ .fst = r0, .snd = r1, .thd = r2 });
usr.bin/ssh/libcrux_internal.h
22261
(KRML_CLITERAL(core_ops_range_Range_87){ .start = (size_t)0U, .end = (size_t)2U })));
usr.bin/ssh/libcrux_internal.h
22265
(KRML_CLITERAL(core_ops_range_Range_87){ .start = (size_t)2U, .end = (size_t)4U })));
usr.bin/ssh/libcrux_internal.h
22269
(KRML_CLITERAL(core_ops_range_Range_87){ .start = (size_t)4U, .end = (size_t)6U })));
usr.bin/ssh/libcrux_internal.h
22273
(KRML_CLITERAL(core_ops_range_Range_87){ .start = (size_t)6U, .end = (size_t)8U })));
usr.bin/ssh/libcrux_internal.h
22277
(KRML_CLITERAL(core_ops_range_Range_87){ .start = (size_t)8U, .end = (size_t)10U })));
usr.bin/ssh/libcrux_internal.h
22281
(KRML_CLITERAL(core_ops_range_Range_87){ .start = (size_t)10U, .end = (size_t)12U })));
usr.bin/ssh/libcrux_internal.h
22285
(KRML_CLITERAL(core_ops_range_Range_87){ .start = (size_t)12U, .end = (size_t)14U })));
usr.bin/ssh/libcrux_internal.h
22289
(KRML_CLITERAL(core_ops_range_Range_87){ .start = (size_t)14U, .end = (size_t)16U })));
usr.bin/ssh/libcrux_internal.h
22292
KRML_CLITERAL(Eurydice_arr_94){
usr.bin/ssh/libcrux_internal.h
22325
return (KRML_CLITERAL(int16_t_x2){ .fst = r0, .snd = r1 });
usr.bin/ssh/libcrux_internal.h
22334
(KRML_CLITERAL(core_ops_range_Range_87){ .start = (size_t)0U, .end = (size_t)3U })));
usr.bin/ssh/libcrux_internal.h
22338
(KRML_CLITERAL(core_ops_range_Range_87){ .start = (size_t)3U, .end = (size_t)6U })));
usr.bin/ssh/libcrux_internal.h
22342
(KRML_CLITERAL(core_ops_range_Range_87){ .start = (size_t)6U, .end = (size_t)9U })));
usr.bin/ssh/libcrux_internal.h
22346
(KRML_CLITERAL(core_ops_range_Range_87){ .start = (size_t)9U, .end = (size_t)12U })));
usr.bin/ssh/libcrux_internal.h
22350
(KRML_CLITERAL(core_ops_range_Range_87){ .start = (size_t)12U, .end = (size_t)15U })));
usr.bin/ssh/libcrux_internal.h
22354
(KRML_CLITERAL(core_ops_range_Range_87){ .start = (size_t)15U, .end = (size_t)18U })));
usr.bin/ssh/libcrux_internal.h
22358
(KRML_CLITERAL(core_ops_range_Range_87){ .start = (size_t)18U, .end = (size_t)21U })));
usr.bin/ssh/libcrux_internal.h
22362
(KRML_CLITERAL(core_ops_range_Range_87){ .start = (size_t)21U, .end = (size_t)24U })));
usr.bin/ssh/libcrux_internal.h
22365
KRML_CLITERAL(Eurydice_arr_d6){
usr.bin/ssh/libcrux_internal.h
224
(KRML_CLITERAL(ret_t){EURYDICE_CFIELD(.ptr =)(ptr_)->data, \
usr.bin/ssh/libcrux_internal.h
22550
KRML_CLITERAL(core_ops_range_Range_87){
usr.bin/ssh/libcrux_internal.h
22583
KRML_CLITERAL(core_ops_range_Range_87){
usr.bin/ssh/libcrux_internal.h
22665
KRML_CLITERAL(core_ops_range_Range_87){
usr.bin/ssh/libcrux_internal.h
22718
KRML_CLITERAL(libcrux_ml_kem_vector_portable_vector_type_PortableVector_x2){
usr.bin/ssh/libcrux_internal.h
22929
KRML_CLITERAL(core_ops_range_Range_87){
usr.bin/ssh/libcrux_internal.h
22997
KRML_CLITERAL(core_ops_range_Range_87){
usr.bin/ssh/libcrux_internal.h
23248
KRML_CLITERAL(libcrux_ml_kem_vector_portable_vector_type_PortableVector_x2){
usr.bin/ssh/libcrux_internal.h
23417
KRML_CLITERAL(core_ops_range_Range_87){
usr.bin/ssh/libcrux_internal.h
23633
KRML_CLITERAL(core_ops_range_Range_87){
usr.bin/ssh/libcrux_internal.h
23671
KRML_CLITERAL(core_ops_range_Range_87){
usr.bin/ssh/libcrux_internal.h
23828
KRML_CLITERAL(core_ops_range_Range_87){
usr.bin/ssh/libcrux_internal.h
23835
KRML_CLITERAL(core_ops_range_Range_87){
usr.bin/ssh/libcrux_internal.h
23962
KRML_CLITERAL(core_ops_range_Range_87){
usr.bin/ssh/libcrux_internal.h
23969
KRML_CLITERAL(core_ops_range_Range_87){
usr.bin/ssh/libcrux_internal.h
24012
KRML_CLITERAL(core_ops_range_Range_87){
usr.bin/ssh/libcrux_internal.h
24052
(KRML_CLITERAL(core_ops_range_Range_87){ .start = (size_t)0U, .end = (size_t)256U })));
usr.bin/ssh/libcrux_internal.h
24334
KRML_CLITERAL(core_ops_range_Range_87){
usr.bin/ssh/libcrux_internal.h
24710
KRML_CLITERAL(core_ops_range_Range_87){
usr.bin/ssh/libcrux_internal.h
24760
KRML_CLITERAL(core_ops_range_Range_87){
usr.bin/ssh/libcrux_internal.h
24828
return (KRML_CLITERAL(tuple_c6){ .fst = r_as_ntt, .snd = error_2 });
usr.bin/ssh/libcrux_internal.h
24850
KRML_CLITERAL(core_ops_range_Range_87){
usr.bin/ssh/libcrux_internal.h
24995
KRML_CLITERAL(core_ops_range_Range_87){
usr.bin/ssh/libcrux_internal.h
25122
(KRML_CLITERAL(core_ops_range_Range_87){ .start = (size_t)0U, .end = (size_t)960U })));
usr.bin/ssh/libcrux_internal.h
25407
KRML_CLITERAL(tuple_f4){
usr.bin/ssh/libcrux_internal.h
25492
KRML_CLITERAL(core_ops_range_Range_87){
usr.bin/ssh/libcrux_internal.h
256
KRML_CLITERAL(ret_t) { \
usr.bin/ssh/libcrux_internal.h
25710
KRML_CLITERAL(core_result_Result_07){ .tag = core_result_Ok, .val = { .case_Ok = arr } }
usr.bin/ssh/libcrux_internal.h
25733
KRML_CLITERAL(core_ops_range_Range_87){
usr.bin/ssh/libcrux_internal.h
25767
KRML_CLITERAL(core_ops_range_Range_87){
usr.bin/ssh/libcrux_internal.h
25798
KRML_CLITERAL(core_ops_range_Range_87){
usr.bin/ssh/libcrux_internal.h
25858
KRML_CLITERAL(libcrux_ml_kem_utils_extraction_helper_Keypair768){
usr.bin/ssh/libcrux_internal.h
25908
KRML_CLITERAL(core_ops_range_Range_87){
usr.bin/ssh/libcrux_internal.h
25917
(KRML_CLITERAL(core_ops_range_Range_87){ .start = pointer, .end = pointer + public_key.meta })),
usr.bin/ssh/libcrux_internal.h
25925
KRML_CLITERAL(core_ops_range_Range_87){
usr.bin/ssh/libcrux_internal.h
25936
KRML_CLITERAL(core_ops_range_Range_87){
usr.bin/ssh/libcrux_internal.h
2595
(KRML_CLITERAL(Eurydice_dst_ref_mut_83){ .ptr = a->data + r.start, .meta = r.end - r.start });
usr.bin/ssh/libcrux_internal.h
25993
KRML_CLITERAL(core_ops_range_Range_87){
usr.bin/ssh/libcrux_internal.h
26066
KRML_CLITERAL(core_ops_range_Range_87){
usr.bin/ssh/libcrux_internal.h
26075
KRML_CLITERAL(core_ops_range_Range_87){
usr.bin/ssh/libcrux_internal.h
2643
(KRML_CLITERAL(Eurydice_borrow_slice_u8){ .ptr = a->data + r, .meta = (size_t)136U - r });
usr.bin/ssh/libcrux_internal.h
26510
KRML_CLITERAL(tuple_f4){
usr.bin/ssh/libcrux_internal.h
2656
(KRML_CLITERAL(Eurydice_borrow_slice_u8){ .ptr = a->data + r.start, .meta = r.end - r.start });
usr.bin/ssh/libcrux_internal.h
266
KRML_CLITERAL(ret_t) { \
usr.bin/ssh/libcrux_internal.h
26679
KRML_CLITERAL(core_ops_range_Range_87){
usr.bin/ssh/libcrux_internal.h
26707
KRML_CLITERAL(core_result_Result_07){ .tag = core_result_Ok, .val = { .case_Ok = arr } }
usr.bin/ssh/libcrux_internal.h
26761
KRML_CLITERAL(libcrux_ml_kem_ind_cca_unpacked_MlKemPublicKeyUnpacked_51){
usr.bin/ssh/libcrux_internal.h
26788
KRML_CLITERAL(libcrux_ml_kem_mlkem768_portable_unpacked_MlKem768KeyPairUnpacked){
usr.bin/ssh/libcrux_internal.h
27122
KRML_CLITERAL(libcrux_ml_kem_ind_cpa_unpacked_IndCpaPublicKeyUnpacked_51){
usr.bin/ssh/libcrux_internal.h
27151
KRML_CLITERAL(libcrux_ml_kem_ind_cca_unpacked_MlKemPublicKeyUnpacked_51){
usr.bin/ssh/libcrux_internal.h
3023
(KRML_CLITERAL(Eurydice_dst_ref_mut_83){ .ptr = a->data + r, .meta = (size_t)263U - r });
usr.bin/ssh/libcrux_internal.h
3194
(KRML_CLITERAL(Eurydice_borrow_slice_u8){ .ptr = a->data + r.start, .meta = r.end - r.start });
usr.bin/ssh/libcrux_internal.h
3232
KRML_CLITERAL(Eurydice_mut_borrow_slice_u8){
usr.bin/ssh/libcrux_internal.h
3249
(KRML_CLITERAL(Eurydice_mut_borrow_slice_u8){ .ptr = a->data + r, .meta = (size_t)168U - r });
usr.bin/ssh/libcrux_internal.h
3358
KRML_CLITERAL(Eurydice_mut_borrow_slice_u8){
usr.bin/ssh/libcrux_internal.h
3399
KRML_CLITERAL(Eurydice_mut_borrow_slice_u8){
usr.bin/ssh/libcrux_internal.h
3440
KRML_CLITERAL(Eurydice_mut_borrow_slice_u8){
usr.bin/ssh/libcrux_internal.h
3455
return (KRML_CLITERAL(Eurydice_borrow_slice_u8){ .ptr = s.ptr, .meta = r });
usr.bin/ssh/libcrux_internal.h
3468
(KRML_CLITERAL(Eurydice_mut_borrow_slice_u8){ .ptr = a->data + r, .meta = (size_t)136U - r });
usr.bin/ssh/libcrux_internal.h
3511
KRML_CLITERAL(Eurydice_mut_borrow_slice_u8){ .ptr = s.ptr + r.start, .meta = r.end - r.start }
usr.bin/ssh/libcrux_internal.h
3541
KRML_CLITERAL(Eurydice_mut_borrow_slice_u8){
usr.bin/ssh/libcrux_internal.h
3634
KRML_CLITERAL(Eurydice_mut_borrow_slice_u8){
usr.bin/ssh/libcrux_internal.h
3674
(KRML_CLITERAL(Eurydice_borrow_slice_u8){ .ptr = s.ptr + r.start, .meta = r.end - r.start });
usr.bin/ssh/libcrux_internal.h
3696
KRML_CLITERAL(Eurydice_dst_ref_shared_83){ .ptr = a->data + r.start, .meta = r.end - r.start }
usr.bin/ssh/libcrux_internal.h
3746
(KRML_CLITERAL(Eurydice_dst_ref_shared_83){ .ptr = s.ptr + r.start, .meta = r.end - r.start });
usr.bin/ssh/libcrux_internal.h
3786
KRML_CLITERAL(Eurydice_mut_borrow_slice_u8){
usr.bin/ssh/libcrux_internal.h
3811
KRML_CLITERAL(Eurydice_mut_borrow_slice_u8){
usr.bin/ssh/libcrux_internal.h
4174
#define LIBCRUX_SHA3_GENERIC_KECCAK_CONSTANTS_ROUNDCONSTANTS ((KRML_CLITERAL(Eurydice_arr_22){ .data = { 1ULL, 32898ULL, 9223372036854808714ULL, 9223372039002292224ULL, 32907ULL, 2147483649ULL, 9223372039002292353ULL, 9223372036854808585ULL, 138ULL, 136ULL, 2147516425ULL, 2147483658ULL, 2147516555ULL, 9223372036854775947ULL, 9223372036854808713ULL, 9223372036854808579ULL, 9223372036854808578ULL, 9223372036854775936ULL, 32778ULL, 9223372039002259466ULL, 9223372039002292353ULL, 9223372036854808704ULL, 2147483649ULL, 9223372039002292232ULL } }))
usr.bin/ssh/libcrux_internal.h
4221
(KRML_CLITERAL(core_ops_range_Range_87){ .start = offset, .end = offset + (size_t)8U })).ptr,
usr.bin/ssh/libcrux_internal.h
4226
KRML_CLITERAL(core_result_Result_8e){ .tag = core_result_Ok, .val = { .case_Ok = arr } }
usr.bin/ssh/libcrux_internal.h
4257
(KRML_CLITERAL(core_ops_range_Range_87){ .start = (size_t)0U, .end = len })),
usr.bin/ssh/libcrux_internal.h
4259
(KRML_CLITERAL(core_ops_range_Range_87){ .start = start, .end = start + len })),
usr.bin/ssh/libcrux_internal.h
4325
(KRML_CLITERAL(size_t_x2){ .fst = (size_t)0U, .snd = (size_t)0U }))[0U],
usr.bin/ssh/libcrux_internal.h
4327
(KRML_CLITERAL(size_t_x2){ .fst = (size_t)1U, .snd = (size_t)0U }))[0U],
usr.bin/ssh/libcrux_internal.h
4329
(KRML_CLITERAL(size_t_x2){ .fst = (size_t)2U, .snd = (size_t)0U }))[0U],
usr.bin/ssh/libcrux_internal.h
4331
(KRML_CLITERAL(size_t_x2){ .fst = (size_t)3U, .snd = (size_t)0U }))[0U],
usr.bin/ssh/libcrux_internal.h
4333
(KRML_CLITERAL(size_t_x2){ .fst = (size_t)4U, .snd = (size_t)0U }))[0U]),
usr.bin/ssh/libcrux_internal.h
4335
(KRML_CLITERAL(size_t_x2){ .fst = (size_t)0U, .snd = (size_t)1U }))[0U],
usr.bin/ssh/libcrux_internal.h
4337
(KRML_CLITERAL(size_t_x2){ .fst = (size_t)1U, .snd = (size_t)1U }))[0U],
usr.bin/ssh/libcrux_internal.h
4339
(KRML_CLITERAL(size_t_x2){ .fst = (size_t)2U, .snd = (size_t)1U }))[0U],
usr.bin/ssh/libcrux_internal.h
4341
(KRML_CLITERAL(size_t_x2){ .fst = (size_t)3U, .snd = (size_t)1U }))[0U],
usr.bin/ssh/libcrux_internal.h
4343
(KRML_CLITERAL(size_t_x2){ .fst = (size_t)4U, .snd = (size_t)1U }))[0U]),
usr.bin/ssh/libcrux_internal.h
4345
(KRML_CLITERAL(size_t_x2){ .fst = (size_t)0U, .snd = (size_t)2U }))[0U],
usr.bin/ssh/libcrux_internal.h
4347
(KRML_CLITERAL(size_t_x2){ .fst = (size_t)1U, .snd = (size_t)2U }))[0U],
usr.bin/ssh/libcrux_internal.h
4349
(KRML_CLITERAL(size_t_x2){ .fst = (size_t)2U, .snd = (size_t)2U }))[0U],
usr.bin/ssh/libcrux_internal.h
4351
(KRML_CLITERAL(size_t_x2){ .fst = (size_t)3U, .snd = (size_t)2U }))[0U],
usr.bin/ssh/libcrux_internal.h
4353
(KRML_CLITERAL(size_t_x2){ .fst = (size_t)4U, .snd = (size_t)2U }))[0U]),
usr.bin/ssh/libcrux_internal.h
4355
(KRML_CLITERAL(size_t_x2){ .fst = (size_t)0U, .snd = (size_t)3U }))[0U],
usr.bin/ssh/libcrux_internal.h
4357
(KRML_CLITERAL(size_t_x2){ .fst = (size_t)1U, .snd = (size_t)3U }))[0U],
usr.bin/ssh/libcrux_internal.h
4359
(KRML_CLITERAL(size_t_x2){ .fst = (size_t)2U, .snd = (size_t)3U }))[0U],
usr.bin/ssh/libcrux_internal.h
4361
(KRML_CLITERAL(size_t_x2){ .fst = (size_t)3U, .snd = (size_t)3U }))[0U],
usr.bin/ssh/libcrux_internal.h
4363
(KRML_CLITERAL(size_t_x2){ .fst = (size_t)4U, .snd = (size_t)3U }))[0U]),
usr.bin/ssh/libcrux_internal.h
4365
(KRML_CLITERAL(size_t_x2){ .fst = (size_t)0U, .snd = (size_t)4U }))[0U],
usr.bin/ssh/libcrux_internal.h
4367
(KRML_CLITERAL(size_t_x2){ .fst = (size_t)1U, .snd = (size_t)4U }))[0U],
usr.bin/ssh/libcrux_internal.h
4369
(KRML_CLITERAL(size_t_x2){ .fst = (size_t)2U, .snd = (size_t)4U }))[0U],
usr.bin/ssh/libcrux_internal.h
4371
(KRML_CLITERAL(size_t_x2){ .fst = (size_t)3U, .snd = (size_t)4U }))[0U],
usr.bin/ssh/libcrux_internal.h
4373
(KRML_CLITERAL(size_t_x2){ .fst = (size_t)4U, .snd = (size_t)4U }))[0U])
usr.bin/ssh/libcrux_internal.h
4378
KRML_CLITERAL(Eurydice_arr_84){
usr.bin/ssh/libcrux_internal.h
4586
(KRML_CLITERAL(size_t_x2){ .fst = (size_t)0U, .snd = (size_t)0U }))[0U],
usr.bin/ssh/libcrux_internal.h
4592
(KRML_CLITERAL(size_t_x2){ .fst = (size_t)1U, .snd = (size_t)0U }))[0U],
usr.bin/ssh/libcrux_internal.h
4598
(KRML_CLITERAL(size_t_x2){ .fst = (size_t)2U, .snd = (size_t)0U }))[0U],
usr.bin/ssh/libcrux_internal.h
4604
(KRML_CLITERAL(size_t_x2){ .fst = (size_t)3U, .snd = (size_t)0U }))[0U],
usr.bin/ssh/libcrux_internal.h
4610
(KRML_CLITERAL(size_t_x2){ .fst = (size_t)4U, .snd = (size_t)0U }))[0U],
usr.bin/ssh/libcrux_internal.h
4809
(KRML_CLITERAL(size_t_x2){ .fst = (size_t)0U, .snd = (size_t)1U }))[0U],
usr.bin/ssh/libcrux_internal.h
4815
(KRML_CLITERAL(size_t_x2){ .fst = (size_t)1U, .snd = (size_t)1U }))[0U],
usr.bin/ssh/libcrux_internal.h
4821
(KRML_CLITERAL(size_t_x2){ .fst = (size_t)2U, .snd = (size_t)1U }))[0U],
usr.bin/ssh/libcrux_internal.h
4827
(KRML_CLITERAL(size_t_x2){ .fst = (size_t)3U, .snd = (size_t)1U }))[0U],
usr.bin/ssh/libcrux_internal.h
4833
(KRML_CLITERAL(size_t_x2){ .fst = (size_t)4U, .snd = (size_t)1U }))[0U],
usr.bin/ssh/libcrux_internal.h
5043
(KRML_CLITERAL(size_t_x2){ .fst = (size_t)0U, .snd = (size_t)2U }))[0U],
usr.bin/ssh/libcrux_internal.h
5049
(KRML_CLITERAL(size_t_x2){ .fst = (size_t)1U, .snd = (size_t)2U }))[0U],
usr.bin/ssh/libcrux_internal.h
5055
(KRML_CLITERAL(size_t_x2){ .fst = (size_t)2U, .snd = (size_t)2U }))[0U],
usr.bin/ssh/libcrux_internal.h
5061
(KRML_CLITERAL(size_t_x2){ .fst = (size_t)3U, .snd = (size_t)2U }))[0U],
usr.bin/ssh/libcrux_internal.h
5067
(KRML_CLITERAL(size_t_x2){ .fst = (size_t)4U, .snd = (size_t)2U }))[0U],
usr.bin/ssh/libcrux_internal.h
5277
(KRML_CLITERAL(size_t_x2){ .fst = (size_t)0U, .snd = (size_t)3U }))[0U],
usr.bin/ssh/libcrux_internal.h
5283
(KRML_CLITERAL(size_t_x2){ .fst = (size_t)1U, .snd = (size_t)3U }))[0U],
usr.bin/ssh/libcrux_internal.h
5289
(KRML_CLITERAL(size_t_x2){ .fst = (size_t)2U, .snd = (size_t)3U }))[0U],
usr.bin/ssh/libcrux_internal.h
5295
(KRML_CLITERAL(size_t_x2){ .fst = (size_t)3U, .snd = (size_t)3U }))[0U],
usr.bin/ssh/libcrux_internal.h
5301
(KRML_CLITERAL(size_t_x2){ .fst = (size_t)4U, .snd = (size_t)3U }))[0U],
usr.bin/ssh/libcrux_internal.h
537
? (KRML_CLITERAL(ret_t){EURYDICE_CFIELD(.tag =) 0, \
usr.bin/ssh/libcrux_internal.h
539
: (KRML_CLITERAL(ret_t){EURYDICE_CFIELD(.tag =) 1, \
usr.bin/ssh/libcrux_internal.h
5511
(KRML_CLITERAL(size_t_x2){ .fst = (size_t)0U, .snd = (size_t)4U }))[0U],
usr.bin/ssh/libcrux_internal.h
5517
(KRML_CLITERAL(size_t_x2){ .fst = (size_t)1U, .snd = (size_t)4U }))[0U],
usr.bin/ssh/libcrux_internal.h
5523
(KRML_CLITERAL(size_t_x2){ .fst = (size_t)2U, .snd = (size_t)4U }))[0U],
usr.bin/ssh/libcrux_internal.h
5529
(KRML_CLITERAL(size_t_x2){ .fst = (size_t)3U, .snd = (size_t)4U }))[0U],
usr.bin/ssh/libcrux_internal.h
5535
(KRML_CLITERAL(size_t_x2){ .fst = (size_t)4U, .snd = (size_t)4U }))[0U],
usr.bin/ssh/libcrux_internal.h
5574
(KRML_CLITERAL(size_t_x2){ .fst = (size_t)0U, .snd = (size_t)3U }))[0U]);
usr.bin/ssh/libcrux_internal.h
5579
(KRML_CLITERAL(size_t_x2){ .fst = (size_t)0U, .snd = (size_t)1U }))[0U]);
usr.bin/ssh/libcrux_internal.h
5584
(KRML_CLITERAL(size_t_x2){ .fst = (size_t)0U, .snd = (size_t)4U }))[0U]);
usr.bin/ssh/libcrux_internal.h
5589
(KRML_CLITERAL(size_t_x2){ .fst = (size_t)0U, .snd = (size_t)2U }))[0U]);
usr.bin/ssh/libcrux_internal.h
5608
(KRML_CLITERAL(size_t_x2){ .fst = (size_t)1U, .snd = (size_t)1U }))[0U]);
usr.bin/ssh/libcrux_internal.h
561
(KRML_CLITERAL(Eurydice_slice){(void *)(ptr), len})
usr.bin/ssh/libcrux_internal.h
5613
(KRML_CLITERAL(size_t_x2){ .fst = (size_t)1U, .snd = (size_t)4U }))[0U]);
usr.bin/ssh/libcrux_internal.h
5618
(KRML_CLITERAL(size_t_x2){ .fst = (size_t)1U, .snd = (size_t)2U }))[0U]);
usr.bin/ssh/libcrux_internal.h
5623
(KRML_CLITERAL(size_t_x2){ .fst = (size_t)1U, .snd = (size_t)0U }))[0U]);
usr.bin/ssh/libcrux_internal.h
5628
(KRML_CLITERAL(size_t_x2){ .fst = (size_t)1U, .snd = (size_t)3U }))[0U]);
usr.bin/ssh/libcrux_internal.h
563
(KRML_CLITERAL(Eurydice_slice){(void *)(ptr), len})
usr.bin/ssh/libcrux_internal.h
5647
(KRML_CLITERAL(size_t_x2){ .fst = (size_t)2U, .snd = (size_t)2U }))[0U]);
usr.bin/ssh/libcrux_internal.h
5652
(KRML_CLITERAL(size_t_x2){ .fst = (size_t)2U, .snd = (size_t)0U }))[0U]);
usr.bin/ssh/libcrux_internal.h
5657
(KRML_CLITERAL(size_t_x2){ .fst = (size_t)2U, .snd = (size_t)3U }))[0U]);
usr.bin/ssh/libcrux_internal.h
5662
(KRML_CLITERAL(size_t_x2){ .fst = (size_t)2U, .snd = (size_t)1U }))[0U]);
usr.bin/ssh/libcrux_internal.h
5667
(KRML_CLITERAL(size_t_x2){ .fst = (size_t)2U, .snd = (size_t)4U }))[0U]);
usr.bin/ssh/libcrux_internal.h
5686
(KRML_CLITERAL(size_t_x2){ .fst = (size_t)3U, .snd = (size_t)3U }))[0U]);
usr.bin/ssh/libcrux_internal.h
5691
(KRML_CLITERAL(size_t_x2){ .fst = (size_t)3U, .snd = (size_t)1U }))[0U]);
usr.bin/ssh/libcrux_internal.h
5696
(KRML_CLITERAL(size_t_x2){ .fst = (size_t)3U, .snd = (size_t)4U }))[0U]);
usr.bin/ssh/libcrux_internal.h
5701
(KRML_CLITERAL(size_t_x2){ .fst = (size_t)3U, .snd = (size_t)2U }))[0U]);
usr.bin/ssh/libcrux_internal.h
5706
(KRML_CLITERAL(size_t_x2){ .fst = (size_t)3U, .snd = (size_t)0U }))[0U]);
usr.bin/ssh/libcrux_internal.h
5725
(KRML_CLITERAL(size_t_x2){ .fst = (size_t)4U, .snd = (size_t)4U }))[0U]);
usr.bin/ssh/libcrux_internal.h
5730
(KRML_CLITERAL(size_t_x2){ .fst = (size_t)4U, .snd = (size_t)2U }))[0U]);
usr.bin/ssh/libcrux_internal.h
5735
(KRML_CLITERAL(size_t_x2){ .fst = (size_t)4U, .snd = (size_t)0U }))[0U]);
usr.bin/ssh/libcrux_internal.h
5740
(KRML_CLITERAL(size_t_x2){ .fst = (size_t)4U, .snd = (size_t)3U }))[0U]);
usr.bin/ssh/libcrux_internal.h
5745
(KRML_CLITERAL(size_t_x2){ .fst = (size_t)4U, .snd = (size_t)1U }))[0U]);
usr.bin/ssh/libcrux_internal.h
5789
(KRML_CLITERAL(size_t_x2){ .fst = i1, .snd = j }))[0U],
usr.bin/ssh/libcrux_internal.h
5791
(KRML_CLITERAL(size_t_x2){ .fst = i1, .snd = (j + (size_t)2U) % (size_t)5U }))[0U],
usr.bin/ssh/libcrux_internal.h
5793
(KRML_CLITERAL(size_t_x2){ .fst = i1, .snd = (j + (size_t)1U) % (size_t)5U }))[0U]));
usr.bin/ssh/libcrux_internal.h
5814
(KRML_CLITERAL(size_t_x2){ .fst = (size_t)0U, .snd = (size_t)0U }))[0U],
usr.bin/ssh/libcrux_internal.h
5906
(KRML_CLITERAL(core_ops_range_Range_87){ .start = offset, .end = offset + (size_t)8U })).ptr,
usr.bin/ssh/libcrux_internal.h
5911
KRML_CLITERAL(core_result_Result_8e){ .tag = core_result_Ok, .val = { .case_Ok = arr } }
usr.bin/ssh/libcrux_internal.h
5942
(KRML_CLITERAL(core_ops_range_Range_87){ .start = (size_t)0U, .end = len })),
usr.bin/ssh/libcrux_internal.h
5944
(KRML_CLITERAL(core_ops_range_Range_87){ .start = start, .end = start + len })),
usr.bin/ssh/libcrux_internal.h
6074
(KRML_CLITERAL(core_ops_range_Range_87){ .start = out_pos, .end = out_pos + (size_t)8U })),
usr.bin/ssh/libcrux_internal.h
6090
(KRML_CLITERAL(core_ops_range_Range_87){ .start = out_pos, .end = out_pos + remaining }));
usr.bin/ssh/libcrux_internal.h
6241
(KRML_CLITERAL(core_ops_range_Range_87){ .start = out_pos, .end = out_pos + (size_t)8U })),
usr.bin/ssh/libcrux_internal.h
6257
(KRML_CLITERAL(core_ops_range_Range_87){ .start = out_pos, .end = out_pos + remaining }));
usr.bin/ssh/libcrux_internal.h
6685
KRML_CLITERAL(core_ops_range_Range_87){
usr.bin/ssh/libcrux_internal.h
6692
KRML_CLITERAL(core_ops_range_Range_87){
usr.bin/ssh/libcrux_internal.h
6781
return (KRML_CLITERAL(Eurydice_arr_ff){ .data = { 0U } });
usr.bin/ssh/libcrux_internal.h
679
KRML_CLITERAL(Eurydice_mut_borrow_slice_i16){
usr.bin/ssh/libcrux_internal.h
6916
(KRML_CLITERAL(core_ops_range_Range_87){ .start = offset, .end = offset + (size_t)8U })).ptr,
usr.bin/ssh/libcrux_internal.h
6921
KRML_CLITERAL(core_result_Result_8e){ .tag = core_result_Ok, .val = { .case_Ok = arr } }
usr.bin/ssh/libcrux_internal.h
6991
(KRML_CLITERAL(core_ops_range_Range_87){ .start = (size_t)0U, .end = len })),
usr.bin/ssh/libcrux_internal.h
6993
(KRML_CLITERAL(core_ops_range_Range_87){ .start = start, .end = start + len })),
usr.bin/ssh/libcrux_internal.h
7070
(KRML_CLITERAL(core_ops_range_Range_87){ .start = out_pos, .end = out_pos + (size_t)8U })),
usr.bin/ssh/libcrux_internal.h
7086
(KRML_CLITERAL(core_ops_range_Range_87){ .start = out_pos, .end = out_pos + remaining }));
usr.bin/ssh/libcrux_internal.h
7190
(KRML_CLITERAL(core_ops_range_Range_87){ .start = (size_t)0U, .end = len })),
usr.bin/ssh/libcrux_internal.h
7192
(KRML_CLITERAL(core_ops_range_Range_87){ .start = start, .end = start + len })),
usr.bin/ssh/libcrux_internal.h
7407
(KRML_CLITERAL(core_ops_range_Range_87){ .start = offset, .end = offset + (size_t)8U })).ptr,
usr.bin/ssh/libcrux_internal.h
7412
KRML_CLITERAL(core_result_Result_8e){ .tag = core_result_Ok, .val = { .case_Ok = arr } }
usr.bin/ssh/libcrux_internal.h
7482
(KRML_CLITERAL(core_ops_range_Range_87){ .start = (size_t)0U, .end = len })),
usr.bin/ssh/libcrux_internal.h
7484
(KRML_CLITERAL(core_ops_range_Range_87){ .start = start, .end = start + len })),
usr.bin/ssh/libcrux_internal.h
7561
(KRML_CLITERAL(core_ops_range_Range_87){ .start = out_pos, .end = out_pos + (size_t)8U })),
usr.bin/ssh/libcrux_internal.h
7577
(KRML_CLITERAL(core_ops_range_Range_87){ .start = out_pos, .end = out_pos + remaining }));
usr.bin/ssh/libcrux_internal.h
7685
(KRML_CLITERAL(core_ops_range_Range_87){ .start = offset, .end = offset + (size_t)8U })).ptr,
usr.bin/ssh/libcrux_internal.h
7690
KRML_CLITERAL(core_result_Result_8e){ .tag = core_result_Ok, .val = { .case_Ok = arr } }
usr.bin/ssh/libcrux_internal.h
7760
(KRML_CLITERAL(core_ops_range_Range_87){ .start = (size_t)0U, .end = len })),
usr.bin/ssh/libcrux_internal.h
7762
(KRML_CLITERAL(core_ops_range_Range_87){ .start = start, .end = start + len })),
usr.bin/ssh/libcrux_internal.h
7839
(KRML_CLITERAL(core_ops_range_Range_87){ .start = out_pos, .end = out_pos + (size_t)8U })),
usr.bin/ssh/libcrux_internal.h
7855
(KRML_CLITERAL(core_ops_range_Range_87){ .start = out_pos, .end = out_pos + remaining }));
usr.bin/ssh/libcrux_internal.h
823
(KRML_CLITERAL(Eurydice_borrow_slice_u8){ .ptr = a->data + r, .meta = (size_t)1184U - r });
usr.bin/ssh/libcrux_internal.h
8275
KRML_CLITERAL(core_ops_range_Range_87){
usr.bin/ssh/libcrux_internal.h
8282
KRML_CLITERAL(core_ops_range_Range_87){
usr.bin/ssh/libcrux_internal.h
8365
return (KRML_CLITERAL(Eurydice_arr_c5){ .data = { 0U } });
usr.bin/ssh/libcrux_internal.h
859
(KRML_CLITERAL(Eurydice_borrow_slice_u8){ .ptr = a->data + r.start, .meta = r.end - r.start });
usr.bin/ssh/libcrux_internal.h
8704
(KRML_CLITERAL(core_ops_range_Range_87){ .start = (size_t)0U, .end = slice.meta })),
usr.bin/ssh/libcrux_internal.h
8720
return (KRML_CLITERAL(Eurydice_arr_7d){ .data = { 0U } });
usr.bin/ssh/libcrux_internal.h
8758
return (KRML_CLITERAL(libcrux_ml_kem_mlkem768_MlKem768KeyPair){ .sk = sk, .pk = pk });
usr.bin/ssh/libcrux_internal.h
8865
(KRML_CLITERAL(core_ops_range_Range_87){ .start = (size_t)0U, .end = slice.meta })),
usr.bin/ssh/libcrux_internal.h
8884
(KRML_CLITERAL(core_ops_range_Range_87){ .start = (size_t)0U, .end = slice.meta })),
usr.bin/ssh/libcrux_internal.h
8917
(KRML_CLITERAL(core_ops_range_Range_87){ .start = (size_t)0U, .end = slice.meta })),
usr.bin/ssh/libcrux_internal.h
8936
(KRML_CLITERAL(core_ops_range_Range_87){ .start = (size_t)0U, .end = slice.meta })),
usr.bin/ssh/libcrux_internal.h
896
KRML_CLITERAL(Eurydice_mut_borrow_slice_u8){
usr.bin/ssh/libcrux_internal.h
8998
KRML_CLITERAL(Eurydice_borrow_slice_u8_x4){
usr.bin/ssh/libcrux_internal.h
927
(KRML_CLITERAL(Eurydice_mut_borrow_slice_u8){ .ptr = a->data + r, .meta = (size_t)1184U - r });
usr.bin/ssh/libcrux_internal.h
9324
(KRML_CLITERAL(core_ops_range_Range_87){ .start = (size_t)0U, .end = slice.meta })),
usr.bin/ssh/libcrux_internal.h
9342
(KRML_CLITERAL(uint8_t_x2){ .fst = (uint8_t)(index / width), .snd = (uint8_t)(index % width) });
usr.bin/ssh/libcrux_internal.h
9357
(KRML_CLITERAL(core_ops_range_Range_87){ .start = (size_t)0U, .end = slice.meta })),
usr.bin/ssh/libcrux_internal.h
941
KRML_CLITERAL(Eurydice_mut_borrow_slice_u8){
usr.bin/ssh/libcrux_internal.h
9414
KRML_CLITERAL(core_result_Result_a8){
usr.bin/ssh/libcrux_internal.h
9422
KRML_CLITERAL(core_result_Result_a8){
usr.bin/ssh/libcrux_internal.h
9491
#define LIBCRUX_ML_DSA_PRE_HASH_SHAKE128_OID ((KRML_CLITERAL(Eurydice_arr_c9){ .data = { 6U, 9U, 96U, 134U, 72U, 1U, 101U, 3U, 4U, 2U, 11U } }))
usr.bin/ssh/libcrux_internal.h
9509
return (KRML_CLITERAL(Eurydice_arr_4d){ .data = { 0U } });
usr.bin/ssh/libcrux_internal.h
9529
KRML_CLITERAL(core_ops_range_Range_87){
usr.bin/ssh/libcrux_internal.h
9685
return (KRML_CLITERAL(int32_t_x2){ .fst = r00, .snd = r1 });
usr.bin/ssh/libcrux_internal.h
982
KRML_CLITERAL(Eurydice_mut_borrow_slice_u8){
usr.bin/ssh/libcrux_internal.h
9968
return (KRML_CLITERAL(int32_t_x2){ .fst = t0, .snd = t1 });