Symbol: Eurydice_arr_d6
usr.bin/ssh/libcrux_internal.h
1674
static KRML_MUSTINLINE Eurydice_arr_d6
usr.bin/ssh/libcrux_internal.h
1675
libcrux_secrets_int_public_integers_classify_27_4b(Eurydice_arr_d6 self)
usr.bin/ssh/libcrux_internal.h
1714
Eurydice_array_to_subslice_shared_e7(const Eurydice_arr_d6 *a, core_ops_range_Range_87 r)
usr.bin/ssh/libcrux_internal.h
1755
Eurydice_arr_d6 case_Ok;
usr.bin/ssh/libcrux_internal.h
1770
static inline Eurydice_arr_d6 core_result_unwrap_26_d3(core_result_Result_ec self)
usr.bin/ssh/libcrux_internal.h
21103
static KRML_MUSTINLINE Eurydice_arr_d6
usr.bin/ssh/libcrux_internal.h
21106
Eurydice_arr_d6 arr;
usr.bin/ssh/libcrux_internal.h
21120
static inline Eurydice_arr_d6
usr.bin/ssh/libcrux_internal.h
21127
static KRML_MUSTINLINE Eurydice_arr_d6 libcrux_ml_kem_vector_portable_vector_type_zero(void)
usr.bin/ssh/libcrux_internal.h
21131
KRML_CLITERAL(Eurydice_arr_d6){ .data = { 0U } }
usr.bin/ssh/libcrux_internal.h
21138
static inline Eurydice_arr_d6 libcrux_ml_kem_vector_portable_ZERO_b8(void)
usr.bin/ssh/libcrux_internal.h
21143
static KRML_MUSTINLINE Eurydice_arr_d6
usr.bin/ssh/libcrux_internal.h
21144
libcrux_ml_kem_vector_portable_arithmetic_add(Eurydice_arr_d6 lhs, const Eurydice_arr_d6 *rhs)
usr.bin/ssh/libcrux_internal.h
21158
static inline Eurydice_arr_d6
usr.bin/ssh/libcrux_internal.h
21159
libcrux_ml_kem_vector_portable_add_b8(Eurydice_arr_d6 lhs, const Eurydice_arr_d6 *rhs)
usr.bin/ssh/libcrux_internal.h
21164
static KRML_MUSTINLINE Eurydice_arr_d6
usr.bin/ssh/libcrux_internal.h
21165
libcrux_ml_kem_vector_portable_arithmetic_sub(Eurydice_arr_d6 lhs, const Eurydice_arr_d6 *rhs)
usr.bin/ssh/libcrux_internal.h
21179
static inline Eurydice_arr_d6
usr.bin/ssh/libcrux_internal.h
21180
libcrux_ml_kem_vector_portable_sub_b8(Eurydice_arr_d6 lhs, const Eurydice_arr_d6 *rhs)
usr.bin/ssh/libcrux_internal.h
21185
static KRML_MUSTINLINE Eurydice_arr_d6
usr.bin/ssh/libcrux_internal.h
21186
libcrux_ml_kem_vector_portable_arithmetic_multiply_by_constant(Eurydice_arr_d6 vec, int16_t c)
usr.bin/ssh/libcrux_internal.h
21200
static inline Eurydice_arr_d6
usr.bin/ssh/libcrux_internal.h
21201
libcrux_ml_kem_vector_portable_multiply_by_constant_b8(Eurydice_arr_d6 vec, int16_t c)
usr.bin/ssh/libcrux_internal.h
21210
static KRML_MUSTINLINE Eurydice_arr_d6
usr.bin/ssh/libcrux_internal.h
21211
libcrux_ml_kem_vector_portable_arithmetic_cond_subtract_3329(Eurydice_arr_d6 vec)
usr.bin/ssh/libcrux_internal.h
21228
static inline Eurydice_arr_d6
usr.bin/ssh/libcrux_internal.h
21229
libcrux_ml_kem_vector_portable_cond_subtract_3329_b8(Eurydice_arr_d6 v)
usr.bin/ssh/libcrux_internal.h
21268
static KRML_MUSTINLINE Eurydice_arr_d6
usr.bin/ssh/libcrux_internal.h
21269
libcrux_ml_kem_vector_portable_arithmetic_barrett_reduce(Eurydice_arr_d6 vec)
usr.bin/ssh/libcrux_internal.h
21283
static inline Eurydice_arr_d6
usr.bin/ssh/libcrux_internal.h
21284
libcrux_ml_kem_vector_portable_barrett_reduce_b8(Eurydice_arr_d6 vector)
usr.bin/ssh/libcrux_internal.h
21348
static KRML_MUSTINLINE Eurydice_arr_d6
usr.bin/ssh/libcrux_internal.h
21350
Eurydice_arr_d6 vec,
usr.bin/ssh/libcrux_internal.h
21367
static inline Eurydice_arr_d6
usr.bin/ssh/libcrux_internal.h
21369
Eurydice_arr_d6 vector,
usr.bin/ssh/libcrux_internal.h
21378
static KRML_MUSTINLINE Eurydice_arr_d6
usr.bin/ssh/libcrux_internal.h
21380
Eurydice_arr_d6 vec,
usr.bin/ssh/libcrux_internal.h
21398
static KRML_MUSTINLINE Eurydice_arr_d6
usr.bin/ssh/libcrux_internal.h
21399
libcrux_ml_kem_vector_portable_arithmetic_shift_right_ef(Eurydice_arr_d6 vec)
usr.bin/ssh/libcrux_internal.h
21409
static KRML_MUSTINLINE Eurydice_arr_d6
usr.bin/ssh/libcrux_internal.h
21410
libcrux_ml_kem_vector_portable_arithmetic_to_unsigned_representative(Eurydice_arr_d6 a)
usr.bin/ssh/libcrux_internal.h
21412
Eurydice_arr_d6 t = libcrux_ml_kem_vector_portable_arithmetic_shift_right_ef(a);
usr.bin/ssh/libcrux_internal.h
21413
Eurydice_arr_d6
usr.bin/ssh/libcrux_internal.h
21423
static inline Eurydice_arr_d6
usr.bin/ssh/libcrux_internal.h
21424
libcrux_ml_kem_vector_portable_to_unsigned_representative_b8(Eurydice_arr_d6 a)
usr.bin/ssh/libcrux_internal.h
21465
static KRML_MUSTINLINE Eurydice_arr_d6
usr.bin/ssh/libcrux_internal.h
21466
libcrux_ml_kem_vector_portable_compress_compress_1(Eurydice_arr_d6 a)
usr.bin/ssh/libcrux_internal.h
21480
static inline Eurydice_arr_d6 libcrux_ml_kem_vector_portable_compress_1_b8(Eurydice_arr_d6 a)
usr.bin/ssh/libcrux_internal.h
21509
static KRML_MUSTINLINE Eurydice_arr_d6
usr.bin/ssh/libcrux_internal.h
21510
libcrux_ml_kem_vector_portable_compress_decompress_1(Eurydice_arr_d6 a)
usr.bin/ssh/libcrux_internal.h
21512
Eurydice_arr_d6 z = libcrux_ml_kem_vector_portable_vector_type_zero();
usr.bin/ssh/libcrux_internal.h
21513
Eurydice_arr_d6 s = libcrux_ml_kem_vector_portable_arithmetic_sub(z, &a);
usr.bin/ssh/libcrux_internal.h
21514
Eurydice_arr_d6
usr.bin/ssh/libcrux_internal.h
21522
static inline Eurydice_arr_d6 libcrux_ml_kem_vector_portable_decompress_1_b8(Eurydice_arr_d6 a)
usr.bin/ssh/libcrux_internal.h
21529
Eurydice_arr_d6 *vec,
usr.bin/ssh/libcrux_internal.h
21545
static KRML_MUSTINLINE Eurydice_arr_d6
usr.bin/ssh/libcrux_internal.h
21547
Eurydice_arr_d6 vec,
usr.bin/ssh/libcrux_internal.h
21568
static inline Eurydice_arr_d6
usr.bin/ssh/libcrux_internal.h
21570
Eurydice_arr_d6 a,
usr.bin/ssh/libcrux_internal.h
21580
static KRML_MUSTINLINE Eurydice_arr_d6
usr.bin/ssh/libcrux_internal.h
21582
Eurydice_arr_d6 vec,
usr.bin/ssh/libcrux_internal.h
21601
static inline Eurydice_arr_d6
usr.bin/ssh/libcrux_internal.h
21603
Eurydice_arr_d6 a,
usr.bin/ssh/libcrux_internal.h
21611
static KRML_MUSTINLINE Eurydice_arr_d6
usr.bin/ssh/libcrux_internal.h
21612
libcrux_ml_kem_vector_portable_ntt_ntt_layer_3_step(Eurydice_arr_d6 vec, int16_t zeta)
usr.bin/ssh/libcrux_internal.h
21628
static inline Eurydice_arr_d6
usr.bin/ssh/libcrux_internal.h
21629
libcrux_ml_kem_vector_portable_ntt_layer_3_step_b8(Eurydice_arr_d6 a, int16_t zeta)
usr.bin/ssh/libcrux_internal.h
21636
Eurydice_arr_d6 *vec,
usr.bin/ssh/libcrux_internal.h
21653
static KRML_MUSTINLINE Eurydice_arr_d6
usr.bin/ssh/libcrux_internal.h
21655
Eurydice_arr_d6 vec,
usr.bin/ssh/libcrux_internal.h
21676
static inline Eurydice_arr_d6
usr.bin/ssh/libcrux_internal.h
21678
Eurydice_arr_d6 a,
usr.bin/ssh/libcrux_internal.h
21688
static KRML_MUSTINLINE Eurydice_arr_d6
usr.bin/ssh/libcrux_internal.h
21690
Eurydice_arr_d6 vec,
usr.bin/ssh/libcrux_internal.h
21709
static inline Eurydice_arr_d6
usr.bin/ssh/libcrux_internal.h
21711
Eurydice_arr_d6 a,
usr.bin/ssh/libcrux_internal.h
21719
static KRML_MUSTINLINE Eurydice_arr_d6
usr.bin/ssh/libcrux_internal.h
21720
libcrux_ml_kem_vector_portable_ntt_inv_ntt_layer_3_step(Eurydice_arr_d6 vec, int16_t zeta)
usr.bin/ssh/libcrux_internal.h
21736
static inline Eurydice_arr_d6
usr.bin/ssh/libcrux_internal.h
21737
libcrux_ml_kem_vector_portable_inv_ntt_layer_3_step_b8(Eurydice_arr_d6 a, int16_t zeta)
usr.bin/ssh/libcrux_internal.h
21766
const Eurydice_arr_d6 *a,
usr.bin/ssh/libcrux_internal.h
21767
const Eurydice_arr_d6 *b,
usr.bin/ssh/libcrux_internal.h
21770
Eurydice_arr_d6 *out
usr.bin/ssh/libcrux_internal.h
21792
static KRML_MUSTINLINE Eurydice_arr_d6
usr.bin/ssh/libcrux_internal.h
21794
const Eurydice_arr_d6 *lhs,
usr.bin/ssh/libcrux_internal.h
21795
const Eurydice_arr_d6 *rhs,
usr.bin/ssh/libcrux_internal.h
21806
Eurydice_arr_d6 out = libcrux_ml_kem_vector_portable_vector_type_zero();
usr.bin/ssh/libcrux_internal.h
21853
static inline Eurydice_arr_d6
usr.bin/ssh/libcrux_internal.h
21855
const Eurydice_arr_d6 *lhs,
usr.bin/ssh/libcrux_internal.h
21856
const Eurydice_arr_d6 *rhs,
usr.bin/ssh/libcrux_internal.h
21867
libcrux_ml_kem_vector_portable_serialize_serialize_1(Eurydice_arr_d6 v)
usr.bin/ssh/libcrux_internal.h
21892
static inline Eurydice_array_u8x2 libcrux_ml_kem_vector_portable_serialize_1(Eurydice_arr_d6 a)
usr.bin/ssh/libcrux_internal.h
21902
libcrux_ml_kem_vector_portable_serialize_1_b8(Eurydice_arr_d6 a)
usr.bin/ssh/libcrux_internal.h
21907
static KRML_MUSTINLINE Eurydice_arr_d6
usr.bin/ssh/libcrux_internal.h
21928
KRML_CLITERAL(Eurydice_arr_d6){
usr.bin/ssh/libcrux_internal.h
21937
static inline Eurydice_arr_d6
usr.bin/ssh/libcrux_internal.h
21947
static inline Eurydice_arr_d6
usr.bin/ssh/libcrux_internal.h
21977
libcrux_ml_kem_vector_portable_serialize_serialize_4(Eurydice_arr_d6 v)
usr.bin/ssh/libcrux_internal.h
21998
static inline Eurydice_array_u8x8 libcrux_ml_kem_vector_portable_serialize_4(Eurydice_arr_d6 a)
usr.bin/ssh/libcrux_internal.h
22008
libcrux_ml_kem_vector_portable_serialize_4_b8(Eurydice_arr_d6 a)
usr.bin/ssh/libcrux_internal.h
22039
static KRML_MUSTINLINE Eurydice_arr_d6
usr.bin/ssh/libcrux_internal.h
22052
KRML_CLITERAL(Eurydice_arr_d6){
usr.bin/ssh/libcrux_internal.h
22061
static inline Eurydice_arr_d6
usr.bin/ssh/libcrux_internal.h
22071
static inline Eurydice_arr_d6
usr.bin/ssh/libcrux_internal.h
22098
libcrux_ml_kem_vector_portable_serialize_serialize_10(Eurydice_arr_d6 v)
usr.bin/ssh/libcrux_internal.h
22128
static inline Eurydice_arr_fc libcrux_ml_kem_vector_portable_serialize_10(Eurydice_arr_d6 a)
usr.bin/ssh/libcrux_internal.h
22137
static inline Eurydice_arr_fc libcrux_ml_kem_vector_portable_serialize_10_b8(Eurydice_arr_d6 a)
usr.bin/ssh/libcrux_internal.h
22206
static KRML_MUSTINLINE Eurydice_arr_d6
usr.bin/ssh/libcrux_internal.h
22219
KRML_CLITERAL(Eurydice_arr_d6){
usr.bin/ssh/libcrux_internal.h
22228
static inline Eurydice_arr_d6
usr.bin/ssh/libcrux_internal.h
22238
static inline Eurydice_arr_d6
usr.bin/ssh/libcrux_internal.h
22256
libcrux_ml_kem_vector_portable_serialize_serialize_12(Eurydice_arr_d6 v)
usr.bin/ssh/libcrux_internal.h
22303
static inline Eurydice_arr_94 libcrux_ml_kem_vector_portable_serialize_12(Eurydice_arr_d6 a)
usr.bin/ssh/libcrux_internal.h
22312
static inline Eurydice_arr_94 libcrux_ml_kem_vector_portable_serialize_12_b8(Eurydice_arr_d6 a)
usr.bin/ssh/libcrux_internal.h
22328
static KRML_MUSTINLINE Eurydice_arr_d6
usr.bin/ssh/libcrux_internal.h
22365
KRML_CLITERAL(Eurydice_arr_d6){
usr.bin/ssh/libcrux_internal.h
22374
static inline Eurydice_arr_d6
usr.bin/ssh/libcrux_internal.h
22384
static inline Eurydice_arr_d6
usr.bin/ssh/libcrux_internal.h
22481
typedef struct Eurydice_arr_9e_s { Eurydice_arr_d6 data[16U]; } Eurydice_arr_9e;
usr.bin/ssh/libcrux_internal.h
22503
Eurydice_arr_d6 repeat_expression[16U];
usr.bin/ssh/libcrux_internal.h
22508
memcpy(lit.data, repeat_expression, (size_t)16U * sizeof (Eurydice_arr_d6));
usr.bin/ssh/libcrux_internal.h
22555
Eurydice_arr_d6 uu____0 = libcrux_ml_kem_vector_portable_deserialize_12_b8(bytes);
usr.bin/ssh/libcrux_internal.h
22617
static KRML_MUSTINLINE Eurydice_arr_d6
usr.bin/ssh/libcrux_internal.h
22618
libcrux_ml_kem_vector_portable_compress_decompress_ciphertext_coefficient_ef(Eurydice_arr_d6 a)
usr.bin/ssh/libcrux_internal.h
22642
static inline Eurydice_arr_d6
usr.bin/ssh/libcrux_internal.h
22643
libcrux_ml_kem_vector_portable_decompress_ciphertext_coefficient_b8_ef(Eurydice_arr_d6 a)
usr.bin/ssh/libcrux_internal.h
22670
Eurydice_arr_d6 coefficient = libcrux_ml_kem_vector_portable_deserialize_10_b8(bytes);
usr.bin/ssh/libcrux_internal.h
22671
Eurydice_arr_d6
usr.bin/ssh/libcrux_internal.h
22694
Eurydice_arr_d6 fst;
usr.bin/ssh/libcrux_internal.h
22695
Eurydice_arr_d6 snd;
usr.bin/ssh/libcrux_internal.h
22707
Eurydice_arr_d6 a,
usr.bin/ssh/libcrux_internal.h
22708
Eurydice_arr_d6 b,
usr.bin/ssh/libcrux_internal.h
22712
Eurydice_arr_d6
usr.bin/ssh/libcrux_internal.h
22755
Eurydice_arr_d6 x = uu____0.fst;
usr.bin/ssh/libcrux_internal.h
22756
Eurydice_arr_d6 y = uu____0.snd;
usr.bin/ssh/libcrux_internal.h
22780
Eurydice_arr_d6
usr.bin/ssh/libcrux_internal.h
22852
Eurydice_arr_d6 uu____0 = libcrux_ml_kem_vector_portable_barrett_reduce_b8(myself->data[i0]);
usr.bin/ssh/libcrux_internal.h
22949
static KRML_MUSTINLINE Eurydice_arr_d6
usr.bin/ssh/libcrux_internal.h
22950
libcrux_ml_kem_vector_portable_compress_decompress_ciphertext_coefficient_d1(Eurydice_arr_d6 a)
usr.bin/ssh/libcrux_internal.h
22974
static inline Eurydice_arr_d6
usr.bin/ssh/libcrux_internal.h
22975
libcrux_ml_kem_vector_portable_decompress_ciphertext_coefficient_b8_d1(Eurydice_arr_d6 a)
usr.bin/ssh/libcrux_internal.h
23002
Eurydice_arr_d6 coefficient = libcrux_ml_kem_vector_portable_deserialize_4_b8(bytes);
usr.bin/ssh/libcrux_internal.h
23003
Eurydice_arr_d6
usr.bin/ssh/libcrux_internal.h
23034
Eurydice_arr_d6 repeat_expression[16U];
usr.bin/ssh/libcrux_internal.h
23039
memcpy(lit.data, repeat_expression, (size_t)16U * sizeof (Eurydice_arr_d6));
usr.bin/ssh/libcrux_internal.h
23086
Eurydice_arr_d6
usr.bin/ssh/libcrux_internal.h
23136
Eurydice_arr_d6
usr.bin/ssh/libcrux_internal.h
23221
Eurydice_arr_d6
usr.bin/ssh/libcrux_internal.h
23237
Eurydice_arr_d6 a,
usr.bin/ssh/libcrux_internal.h
23238
Eurydice_arr_d6 b,
usr.bin/ssh/libcrux_internal.h
23242
Eurydice_arr_d6 a_minus_b = libcrux_ml_kem_vector_portable_sub_b8(b, &a);
usr.bin/ssh/libcrux_internal.h
23284
Eurydice_arr_d6 x = uu____0.fst;
usr.bin/ssh/libcrux_internal.h
23285
Eurydice_arr_d6 y = uu____0.snd;
usr.bin/ssh/libcrux_internal.h
23324
Eurydice_arr_d6
usr.bin/ssh/libcrux_internal.h
23328
Eurydice_arr_d6
usr.bin/ssh/libcrux_internal.h
23330
Eurydice_arr_d6 red = libcrux_ml_kem_vector_portable_barrett_reduce_b8(diff);
usr.bin/ssh/libcrux_internal.h
23390
static KRML_MUSTINLINE Eurydice_arr_d6
usr.bin/ssh/libcrux_internal.h
23391
libcrux_ml_kem_serialize_to_unsigned_field_modulus_ea(Eurydice_arr_d6 a)
usr.bin/ssh/libcrux_internal.h
23409
Eurydice_arr_d6
usr.bin/ssh/libcrux_internal.h
23411
Eurydice_arr_d6
usr.bin/ssh/libcrux_internal.h
23638
Eurydice_arr_d6 coefficient = libcrux_ml_kem_vector_portable_deserialize_12_b8(bytes);
usr.bin/ssh/libcrux_internal.h
23639
Eurydice_arr_d6 uu____0 = libcrux_ml_kem_vector_portable_cond_subtract_3329_b8(coefficient);
usr.bin/ssh/libcrux_internal.h
24008
Eurydice_arr_d6
usr.bin/ssh/libcrux_internal.h
24387
Eurydice_arr_d6
usr.bin/ssh/libcrux_internal.h
24390
Eurydice_arr_d6 uu____1 = libcrux_ml_kem_vector_portable_add_b8(re->data[j], &t);
usr.bin/ssh/libcrux_internal.h
24587
Eurydice_arr_d6
usr.bin/ssh/libcrux_internal.h
24591
Eurydice_arr_d6
usr.bin/ssh/libcrux_internal.h
24593
Eurydice_arr_d6 red = libcrux_ml_kem_vector_portable_barrett_reduce_b8(sum);
usr.bin/ssh/libcrux_internal.h
24663
static KRML_MUSTINLINE Eurydice_arr_d6
usr.bin/ssh/libcrux_internal.h
24664
libcrux_ml_kem_vector_portable_compress_compress_ef(Eurydice_arr_d6 a)
usr.bin/ssh/libcrux_internal.h
24686
static inline Eurydice_arr_d6 libcrux_ml_kem_vector_portable_compress_b8_ef(Eurydice_arr_d6 a)
usr.bin/ssh/libcrux_internal.h
24704
Eurydice_arr_d6
usr.bin/ssh/libcrux_internal.h
24846
Eurydice_arr_d6
usr.bin/ssh/libcrux_internal.h
24855
Eurydice_arr_d6
usr.bin/ssh/libcrux_internal.h
24878
Eurydice_arr_d6
usr.bin/ssh/libcrux_internal.h
24882
Eurydice_arr_d6
usr.bin/ssh/libcrux_internal.h
24884
Eurydice_arr_d6 sum2 = libcrux_ml_kem_vector_portable_add_b8(coefficient_normal_form, &sum1);
usr.bin/ssh/libcrux_internal.h
24885
Eurydice_arr_d6 red = libcrux_ml_kem_vector_portable_barrett_reduce_b8(sum2);
usr.bin/ssh/libcrux_internal.h
24946
static KRML_MUSTINLINE Eurydice_arr_d6
usr.bin/ssh/libcrux_internal.h
24947
libcrux_ml_kem_vector_portable_compress_compress_d1(Eurydice_arr_d6 a)
usr.bin/ssh/libcrux_internal.h
24969
static inline Eurydice_arr_d6 libcrux_ml_kem_vector_portable_compress_b8_d1(Eurydice_arr_d6 a)
usr.bin/ssh/libcrux_internal.h
24989
Eurydice_arr_d6
usr.bin/ssh/libcrux_internal.h
25527
static KRML_MUSTINLINE Eurydice_arr_d6
usr.bin/ssh/libcrux_internal.h
25528
libcrux_ml_kem_polynomial_to_standard_domain_ea(Eurydice_arr_d6 vector)
usr.bin/ssh/libcrux_internal.h
25550
Eurydice_arr_d6
usr.bin/ssh/libcrux_internal.h
25552
Eurydice_arr_d6
usr.bin/ssh/libcrux_internal.h
25554
Eurydice_arr_d6 red = libcrux_ml_kem_vector_portable_barrett_reduce_b8(sum);
usr.bin/ssh/libcrux_internal.h
25728
Eurydice_arr_d6
usr.bin/ssh/libcrux_internal.h
26621
Eurydice_arr_d6,