Symbol: Eurydice_borrow_slice_u8
usr.bin/ssh/libcrux-mlkem-mldsa.c
415
Eurydice_borrow_slice_u8 input = { data, len };
usr.bin/ssh/libcrux-mlkem-mldsa.c
423
Eurydice_borrow_slice_u8 input = { data, len };
usr.bin/ssh/libcrux_internal.h
10022
Eurydice_borrow_slice_u8 randomness,
usr.bin/ssh/libcrux_internal.h
10033
Eurydice_borrow_slice_u8 randomness,
usr.bin/ssh/libcrux_internal.h
10069
Eurydice_borrow_slice_u8 randomness,
usr.bin/ssh/libcrux_internal.h
10080
Eurydice_borrow_slice_u8 randomness,
usr.bin/ssh/libcrux_internal.h
10112
Eurydice_borrow_slice_u8 randomness,
usr.bin/ssh/libcrux_internal.h
10265
Eurydice_borrow_slice_u8 serialized,
usr.bin/ssh/libcrux_internal.h
10272
Eurydice_borrow_slice_u8
usr.bin/ssh/libcrux_internal.h
10304
Eurydice_borrow_slice_u8 serialized,
usr.bin/ssh/libcrux_internal.h
10311
Eurydice_borrow_slice_u8
usr.bin/ssh/libcrux_internal.h
10357
Eurydice_borrow_slice_u8 serialized,
usr.bin/ssh/libcrux_internal.h
10389
Eurydice_borrow_slice_u8 serialized,
usr.bin/ssh/libcrux_internal.h
10612
Eurydice_borrow_slice_u8 serialized,
usr.bin/ssh/libcrux_internal.h
1063
static inline Eurydice_borrow_slice_u8
usr.bin/ssh/libcrux_internal.h
10635
Eurydice_borrow_slice_u8 serialized,
usr.bin/ssh/libcrux_internal.h
10665
Eurydice_borrow_slice_u8 serialized,
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
10695
Eurydice_borrow_slice_u8 serialized,
usr.bin/ssh/libcrux_internal.h
1076
static inline Eurydice_borrow_slice_u8
usr.bin/ssh/libcrux_internal.h
10778
Eurydice_borrow_slice_u8 serialized,
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
10846
Eurydice_borrow_slice_u8 serialized,
usr.bin/ssh/libcrux_internal.h
1089
static inline Eurydice_borrow_slice_u8
usr.bin/ssh/libcrux_internal.h
10899
Eurydice_borrow_slice_u8 serialized,
usr.bin/ssh/libcrux_internal.h
10908
Eurydice_borrow_slice_u8
usr.bin/ssh/libcrux_internal.h
1092
Eurydice_borrow_slice_u8 lit;
usr.bin/ssh/libcrux_internal.h
10937
Eurydice_borrow_slice_u8 serialized,
usr.bin/ssh/libcrux_internal.h
1143
static inline Eurydice_borrow_slice_u8
usr.bin/ssh/libcrux_internal.h
1146
Eurydice_borrow_slice_u8 lit;
usr.bin/ssh/libcrux_internal.h
1184
static inline Eurydice_borrow_slice_u8
usr.bin/ssh/libcrux_internal.h
1187
Eurydice_borrow_slice_u8 lit;
usr.bin/ssh/libcrux_internal.h
1246
static inline Eurydice_borrow_slice_u8
usr.bin/ssh/libcrux_internal.h
1249
Eurydice_borrow_slice_u8 lit;
usr.bin/ssh/libcrux_internal.h
1316
static inline Eurydice_borrow_slice_u8
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
1379
static inline Eurydice_borrow_slice_u8
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
1429
static inline Eurydice_borrow_slice_u8
usr.bin/ssh/libcrux_internal.h
1430
Eurydice_slice_subslice_from_shared_6d(Eurydice_borrow_slice_u8 s, size_t r)
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
14432
Eurydice_borrow_slice_u8 serialized,
usr.bin/ssh/libcrux_internal.h
14466
Eurydice_borrow_slice_u8 serialized,
usr.bin/ssh/libcrux_internal.h
14478
Eurydice_borrow_slice_u8 commitment_hash = uu____0.fst;
usr.bin/ssh/libcrux_internal.h
14479
Eurydice_borrow_slice_u8 rest_of_serialized = uu____0.snd;
usr.bin/ssh/libcrux_internal.h
1449
static inline Eurydice_borrow_slice_u8
usr.bin/ssh/libcrux_internal.h
14490
Eurydice_borrow_slice_u8 signer_response_serialized = uu____1.fst;
usr.bin/ssh/libcrux_internal.h
14491
Eurydice_borrow_slice_u8 hint_serialized = uu____1.snd;
usr.bin/ssh/libcrux_internal.h
1452
Eurydice_borrow_slice_u8 lit;
usr.bin/ssh/libcrux_internal.h
14577
Eurydice_borrow_slice_u8 serialized,
usr.bin/ssh/libcrux_internal.h
14605
Eurydice_borrow_slice_u8 serialized,
usr.bin/ssh/libcrux_internal.h
1464
static inline Eurydice_borrow_slice_u8
usr.bin/ssh/libcrux_internal.h
1467
Eurydice_borrow_slice_u8 lit;
usr.bin/ssh/libcrux_internal.h
14708
Eurydice_borrow_slice_u8 commitment_hash,
usr.bin/ssh/libcrux_internal.h
15128
Eurydice_borrow_slice_u8 serialized,
usr.bin/ssh/libcrux_internal.h
15154
Eurydice_borrow_slice_u8 serialized,
usr.bin/ssh/libcrux_internal.h
15165
Eurydice_borrow_slice_u8
usr.bin/ssh/libcrux_internal.h
15189
Eurydice_borrow_slice_u8 serialized,
usr.bin/ssh/libcrux_internal.h
15219
Eurydice_borrow_slice_u8 serialized,
usr.bin/ssh/libcrux_internal.h
15226
Eurydice_borrow_slice_u8
usr.bin/ssh/libcrux_internal.h
15349
Eurydice_borrow_slice_u8 seed,
usr.bin/ssh/libcrux_internal.h
1541
static inline Eurydice_borrow_slice_u8
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
1554
static inline Eurydice_borrow_slice_u8
usr.bin/ssh/libcrux_internal.h
15541
Eurydice_borrow_slice_u8 randomness,
usr.bin/ssh/libcrux_internal.h
15550
Eurydice_borrow_slice_u8
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
15597
Eurydice_borrow_slice_u8 randomness,
usr.bin/ssh/libcrux_internal.h
15606
Eurydice_borrow_slice_u8
usr.bin/ssh/libcrux_internal.h
15639
Eurydice_borrow_slice_u8 randomness,
usr.bin/ssh/libcrux_internal.h
15648
Eurydice_borrow_slice_u8
usr.bin/ssh/libcrux_internal.h
1567
static inline Eurydice_borrow_slice_u8
usr.bin/ssh/libcrux_internal.h
15682
Eurydice_borrow_slice_u8 randomness,
usr.bin/ssh/libcrux_internal.h
1570
Eurydice_borrow_slice_u8 lit;
usr.bin/ssh/libcrux_internal.h
15786
Eurydice_borrow_slice_u8 lhs,
usr.bin/ssh/libcrux_internal.h
15787
Eurydice_borrow_slice_u8 rhs
usr.bin/ssh/libcrux_internal.h
15802
Eurydice_borrow_slice_u8 lhs,
usr.bin/ssh/libcrux_internal.h
15803
Eurydice_borrow_slice_u8 rhs
usr.bin/ssh/libcrux_internal.h
15815
Eurydice_borrow_slice_u8 lhs,
usr.bin/ssh/libcrux_internal.h
15816
Eurydice_borrow_slice_u8 rhs,
usr.bin/ssh/libcrux_internal.h
15836
Eurydice_borrow_slice_u8 lhs,
usr.bin/ssh/libcrux_internal.h
15837
Eurydice_borrow_slice_u8 rhs,
usr.bin/ssh/libcrux_internal.h
15846
Eurydice_borrow_slice_u8 lhs_c,
usr.bin/ssh/libcrux_internal.h
15847
Eurydice_borrow_slice_u8 rhs_c,
usr.bin/ssh/libcrux_internal.h
15848
Eurydice_borrow_slice_u8 lhs_s,
usr.bin/ssh/libcrux_internal.h
15849
Eurydice_borrow_slice_u8 rhs_s
usr.bin/ssh/libcrux_internal.h
15917
Eurydice_borrow_slice_u8 input0,
usr.bin/ssh/libcrux_internal.h
15918
Eurydice_borrow_slice_u8 input1,
usr.bin/ssh/libcrux_internal.h
15919
Eurydice_borrow_slice_u8 input2,
usr.bin/ssh/libcrux_internal.h
15920
Eurydice_borrow_slice_u8 input3
usr.bin/ssh/libcrux_internal.h
15944
Eurydice_borrow_slice_u8 input
usr.bin/ssh/libcrux_internal.h
15954
Eurydice_borrow_slice_u8 input0,
usr.bin/ssh/libcrux_internal.h
15955
Eurydice_borrow_slice_u8 input1,
usr.bin/ssh/libcrux_internal.h
15956
Eurydice_borrow_slice_u8 input2,
usr.bin/ssh/libcrux_internal.h
15957
Eurydice_borrow_slice_u8 input3
usr.bin/ssh/libcrux_internal.h
15981
Eurydice_borrow_slice_u8 input,
usr.bin/ssh/libcrux_internal.h
16093
Eurydice_borrow_slice_u8 input,
usr.bin/ssh/libcrux_internal.h
16105
Eurydice_borrow_slice_u8 input0,
usr.bin/ssh/libcrux_internal.h
16106
Eurydice_borrow_slice_u8 input1,
usr.bin/ssh/libcrux_internal.h
16107
Eurydice_borrow_slice_u8 input2,
usr.bin/ssh/libcrux_internal.h
16108
Eurydice_borrow_slice_u8 input3
usr.bin/ssh/libcrux_internal.h
16144
libcrux_ml_dsa_hash_functions_portable_init_absorb_final_61(Eurydice_borrow_slice_u8 input)
usr.bin/ssh/libcrux_internal.h
16173
Eurydice_borrow_slice_u8 input
usr.bin/ssh/libcrux_internal.h
16185
Eurydice_borrow_slice_u8 input
usr.bin/ssh/libcrux_internal.h
16217
Eurydice_borrow_slice_u8 input0,
usr.bin/ssh/libcrux_internal.h
16218
Eurydice_borrow_slice_u8 input1,
usr.bin/ssh/libcrux_internal.h
16219
Eurydice_borrow_slice_u8 input2,
usr.bin/ssh/libcrux_internal.h
16220
Eurydice_borrow_slice_u8 input3
usr.bin/ssh/libcrux_internal.h
16257
Eurydice_borrow_slice_u8 seed,
usr.bin/ssh/libcrux_internal.h
16520
Eurydice_borrow_slice_u8 seed,
usr.bin/ssh/libcrux_internal.h
16562
Eurydice_borrow_slice_u8 seed,
usr.bin/ssh/libcrux_internal.h
16792
Eurydice_borrow_slice_u8 seed,
usr.bin/ssh/libcrux_internal.h
16845
Eurydice_borrow_slice_u8 seed,
usr.bin/ssh/libcrux_internal.h
16859
Eurydice_borrow_slice_u8 input,
usr.bin/ssh/libcrux_internal.h
16876
Eurydice_borrow_slice_u8 input,
usr.bin/ssh/libcrux_internal.h
1688
static KRML_MUSTINLINE Eurydice_borrow_slice_u8
usr.bin/ssh/libcrux_internal.h
1689
libcrux_secrets_int_classify_public_classify_ref_6d_90(Eurydice_borrow_slice_u8 self)
usr.bin/ssh/libcrux_internal.h
16893
Eurydice_borrow_slice_u8 seed_matrix,
usr.bin/ssh/libcrux_internal.h
16894
Eurydice_borrow_slice_u8 seed_signing,
usr.bin/ssh/libcrux_internal.h
16895
Eurydice_borrow_slice_u8 verification_key,
usr.bin/ssh/libcrux_internal.h
17002
Eurydice_borrow_slice_u8 seed_for_a = uu____0.fst;
usr.bin/ssh/libcrux_internal.h
17003
Eurydice_borrow_slice_u8 seed_expanded = uu____0.snd;
usr.bin/ssh/libcrux_internal.h
17010
Eurydice_borrow_slice_u8 seed_for_error_vectors = uu____1.fst;
usr.bin/ssh/libcrux_internal.h
17011
Eurydice_borrow_slice_u8 seed_for_signing = uu____1.snd;
usr.bin/ssh/libcrux_internal.h
17083
KRML_CLITERAL(Eurydice_borrow_slice_u8){
usr.bin/ssh/libcrux_internal.h
17138
Eurydice_borrow_slice_u8 verification_key_hash,
usr.bin/ssh/libcrux_internal.h
17140
Eurydice_borrow_slice_u8 message,
usr.bin/ssh/libcrux_internal.h
17196
Eurydice_borrow_slice_u8 input,
usr.bin/ssh/libcrux_internal.h
17213
Eurydice_borrow_slice_u8 input0,
usr.bin/ssh/libcrux_internal.h
17214
Eurydice_borrow_slice_u8 input1,
usr.bin/ssh/libcrux_internal.h
17215
Eurydice_borrow_slice_u8 input2,
usr.bin/ssh/libcrux_internal.h
17216
Eurydice_borrow_slice_u8 input3,
usr.bin/ssh/libcrux_internal.h
17236
Eurydice_borrow_slice_u8 input,
usr.bin/ssh/libcrux_internal.h
17253
Eurydice_borrow_slice_u8 input0,
usr.bin/ssh/libcrux_internal.h
17254
Eurydice_borrow_slice_u8 input1,
usr.bin/ssh/libcrux_internal.h
17255
Eurydice_borrow_slice_u8 input2,
usr.bin/ssh/libcrux_internal.h
17256
Eurydice_borrow_slice_u8 input3,
usr.bin/ssh/libcrux_internal.h
17279
Eurydice_borrow_slice_u8 input,
usr.bin/ssh/libcrux_internal.h
17296
Eurydice_borrow_slice_u8 input,
usr.bin/ssh/libcrux_internal.h
17462
Eurydice_borrow_slice_u8 seed,
usr.bin/ssh/libcrux_internal.h
17517
Eurydice_borrow_slice_u8 signing_key,
usr.bin/ssh/libcrux_internal.h
17518
Eurydice_borrow_slice_u8 message,
usr.bin/ssh/libcrux_internal.h
17530
Eurydice_borrow_slice_u8 seed_for_a = uu____0.fst;
usr.bin/ssh/libcrux_internal.h
17531
Eurydice_borrow_slice_u8 remaining_serialized0 = uu____0.snd;
usr.bin/ssh/libcrux_internal.h
17538
Eurydice_borrow_slice_u8 seed_for_signing = uu____1.fst;
usr.bin/ssh/libcrux_internal.h
17539
Eurydice_borrow_slice_u8 remaining_serialized1 = uu____1.snd;
usr.bin/ssh/libcrux_internal.h
17546
Eurydice_borrow_slice_u8 verification_key_hash = uu____2.fst;
usr.bin/ssh/libcrux_internal.h
17547
Eurydice_borrow_slice_u8 remaining_serialized2 = uu____2.snd;
usr.bin/ssh/libcrux_internal.h
17555
Eurydice_borrow_slice_u8 s1_serialized = uu____3.fst;
usr.bin/ssh/libcrux_internal.h
17556
Eurydice_borrow_slice_u8 remaining_serialized = uu____3.snd;
usr.bin/ssh/libcrux_internal.h
17564
Eurydice_borrow_slice_u8 s2_serialized = uu____4.fst;
usr.bin/ssh/libcrux_internal.h
17565
Eurydice_borrow_slice_u8 t0_serialized = uu____4.snd;
usr.bin/ssh/libcrux_internal.h
17859
Eurydice_borrow_slice_u8 signing_key,
usr.bin/ssh/libcrux_internal.h
17860
Eurydice_borrow_slice_u8 message,
usr.bin/ssh/libcrux_internal.h
17861
Eurydice_borrow_slice_u8 context,
usr.bin/ssh/libcrux_internal.h
17903
Eurydice_borrow_slice_u8 signing_key,
usr.bin/ssh/libcrux_internal.h
17904
Eurydice_borrow_slice_u8 message,
usr.bin/ssh/libcrux_internal.h
17905
Eurydice_borrow_slice_u8 context,
usr.bin/ssh/libcrux_internal.h
17943
Eurydice_borrow_slice_u8 message,
usr.bin/ssh/libcrux_internal.h
17944
Eurydice_borrow_slice_u8 context,
usr.bin/ssh/libcrux_internal.h
17961
Eurydice_borrow_slice_u8 message,
usr.bin/ssh/libcrux_internal.h
17962
Eurydice_borrow_slice_u8 context,
usr.bin/ssh/libcrux_internal.h
1797
static inline Eurydice_borrow_slice_u8
usr.bin/ssh/libcrux_internal.h
17986
Eurydice_borrow_slice_u8 message,
usr.bin/ssh/libcrux_internal.h
18001
Eurydice_borrow_slice_u8 signing_key,
usr.bin/ssh/libcrux_internal.h
18002
Eurydice_borrow_slice_u8 message,
usr.bin/ssh/libcrux_internal.h
18003
Eurydice_borrow_slice_u8 context,
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
18036
KRML_CLITERAL(Eurydice_borrow_slice_u8){
usr.bin/ssh/libcrux_internal.h
18067
Eurydice_borrow_slice_u8 signing_key,
usr.bin/ssh/libcrux_internal.h
18068
Eurydice_borrow_slice_u8 message,
usr.bin/ssh/libcrux_internal.h
18069
Eurydice_borrow_slice_u8 context,
usr.bin/ssh/libcrux_internal.h
18109
Eurydice_borrow_slice_u8 message,
usr.bin/ssh/libcrux_internal.h
18110
Eurydice_borrow_slice_u8 context,
usr.bin/ssh/libcrux_internal.h
18138
Eurydice_borrow_slice_u8 message,
usr.bin/ssh/libcrux_internal.h
18149
Eurydice_borrow_slice_u8 seed_for_a = uu____0.fst;
usr.bin/ssh/libcrux_internal.h
18150
Eurydice_borrow_slice_u8 t1_serialized = uu____0.snd;
usr.bin/ssh/libcrux_internal.h
18297
Eurydice_borrow_slice_u8 message,
usr.bin/ssh/libcrux_internal.h
18298
Eurydice_borrow_slice_u8 context,
usr.bin/ssh/libcrux_internal.h
18336
Eurydice_borrow_slice_u8 message,
usr.bin/ssh/libcrux_internal.h
18337
Eurydice_borrow_slice_u8 context,
usr.bin/ssh/libcrux_internal.h
18357
Eurydice_borrow_slice_u8 message,
usr.bin/ssh/libcrux_internal.h
18358
Eurydice_borrow_slice_u8 context,
usr.bin/ssh/libcrux_internal.h
18388
KRML_CLITERAL(Eurydice_borrow_slice_u8){
usr.bin/ssh/libcrux_internal.h
18408
Eurydice_borrow_slice_u8 message,
usr.bin/ssh/libcrux_internal.h
18409
Eurydice_borrow_slice_u8 context,
usr.bin/ssh/libcrux_internal.h
1842
static inline Eurydice_borrow_slice_u8
usr.bin/ssh/libcrux_internal.h
18459
Eurydice_borrow_slice_u8 seed_for_a = uu____0.fst;
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
18460
Eurydice_borrow_slice_u8 seed_expanded = uu____0.snd;
usr.bin/ssh/libcrux_internal.h
18467
Eurydice_borrow_slice_u8 seed_for_error_vectors = uu____1.fst;
usr.bin/ssh/libcrux_internal.h
18468
Eurydice_borrow_slice_u8 seed_for_signing = uu____1.snd;
usr.bin/ssh/libcrux_internal.h
18540
KRML_CLITERAL(Eurydice_borrow_slice_u8){
usr.bin/ssh/libcrux_internal.h
18573
Eurydice_borrow_slice_u8 signing_key,
usr.bin/ssh/libcrux_internal.h
18574
Eurydice_borrow_slice_u8 message,
usr.bin/ssh/libcrux_internal.h
18586
Eurydice_borrow_slice_u8 seed_for_a = uu____0.fst;
usr.bin/ssh/libcrux_internal.h
18587
Eurydice_borrow_slice_u8 remaining_serialized0 = uu____0.snd;
usr.bin/ssh/libcrux_internal.h
18594
Eurydice_borrow_slice_u8 seed_for_signing = uu____1.fst;
usr.bin/ssh/libcrux_internal.h
18595
Eurydice_borrow_slice_u8 remaining_serialized1 = uu____1.snd;
usr.bin/ssh/libcrux_internal.h
18602
Eurydice_borrow_slice_u8 verification_key_hash = uu____2.fst;
usr.bin/ssh/libcrux_internal.h
18603
Eurydice_borrow_slice_u8 remaining_serialized2 = uu____2.snd;
usr.bin/ssh/libcrux_internal.h
18611
Eurydice_borrow_slice_u8 s1_serialized = uu____3.fst;
usr.bin/ssh/libcrux_internal.h
18612
Eurydice_borrow_slice_u8 remaining_serialized = uu____3.snd;
usr.bin/ssh/libcrux_internal.h
18620
Eurydice_borrow_slice_u8 s2_serialized = uu____4.fst;
usr.bin/ssh/libcrux_internal.h
18621
Eurydice_borrow_slice_u8 t0_serialized = uu____4.snd;
usr.bin/ssh/libcrux_internal.h
1881
static inline Eurydice_borrow_slice_u8
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
18913
Eurydice_borrow_slice_u8 signing_key,
usr.bin/ssh/libcrux_internal.h
18914
Eurydice_borrow_slice_u8 message,
usr.bin/ssh/libcrux_internal.h
18915
Eurydice_borrow_slice_u8 context,
usr.bin/ssh/libcrux_internal.h
18957
Eurydice_borrow_slice_u8 signing_key,
usr.bin/ssh/libcrux_internal.h
18958
Eurydice_borrow_slice_u8 message,
usr.bin/ssh/libcrux_internal.h
18959
Eurydice_borrow_slice_u8 context,
usr.bin/ssh/libcrux_internal.h
18997
Eurydice_borrow_slice_u8 message,
usr.bin/ssh/libcrux_internal.h
18998
Eurydice_borrow_slice_u8 context,
usr.bin/ssh/libcrux_internal.h
19015
Eurydice_borrow_slice_u8 message,
usr.bin/ssh/libcrux_internal.h
19016
Eurydice_borrow_slice_u8 context,
usr.bin/ssh/libcrux_internal.h
19037
Eurydice_borrow_slice_u8 signing_key,
usr.bin/ssh/libcrux_internal.h
19038
Eurydice_borrow_slice_u8 message,
usr.bin/ssh/libcrux_internal.h
19039
Eurydice_borrow_slice_u8 context,
usr.bin/ssh/libcrux_internal.h
19072
KRML_CLITERAL(Eurydice_borrow_slice_u8){
usr.bin/ssh/libcrux_internal.h
19103
Eurydice_borrow_slice_u8 signing_key,
usr.bin/ssh/libcrux_internal.h
19104
Eurydice_borrow_slice_u8 message,
usr.bin/ssh/libcrux_internal.h
19105
Eurydice_borrow_slice_u8 context,
usr.bin/ssh/libcrux_internal.h
19145
Eurydice_borrow_slice_u8 message,
usr.bin/ssh/libcrux_internal.h
19146
Eurydice_borrow_slice_u8 context,
usr.bin/ssh/libcrux_internal.h
19174
Eurydice_borrow_slice_u8 message,
usr.bin/ssh/libcrux_internal.h
19185
Eurydice_borrow_slice_u8 seed_for_a = uu____0.fst;
usr.bin/ssh/libcrux_internal.h
19186
Eurydice_borrow_slice_u8 t1_serialized = uu____0.snd;
usr.bin/ssh/libcrux_internal.h
19338
Eurydice_borrow_slice_u8 message,
usr.bin/ssh/libcrux_internal.h
19339
Eurydice_borrow_slice_u8 context,
usr.bin/ssh/libcrux_internal.h
1936
static inline Eurydice_borrow_slice_u8
usr.bin/ssh/libcrux_internal.h
19377
Eurydice_borrow_slice_u8 message,
usr.bin/ssh/libcrux_internal.h
19378
Eurydice_borrow_slice_u8 context,
usr.bin/ssh/libcrux_internal.h
1939
Eurydice_borrow_slice_u8 lit;
usr.bin/ssh/libcrux_internal.h
19398
Eurydice_borrow_slice_u8 message,
usr.bin/ssh/libcrux_internal.h
19399
Eurydice_borrow_slice_u8 context,
usr.bin/ssh/libcrux_internal.h
19429
KRML_CLITERAL(Eurydice_borrow_slice_u8){
usr.bin/ssh/libcrux_internal.h
19449
Eurydice_borrow_slice_u8 message,
usr.bin/ssh/libcrux_internal.h
19450
Eurydice_borrow_slice_u8 context,
usr.bin/ssh/libcrux_internal.h
19500
Eurydice_borrow_slice_u8 seed_for_a = uu____0.fst;
usr.bin/ssh/libcrux_internal.h
19501
Eurydice_borrow_slice_u8 seed_expanded = uu____0.snd;
usr.bin/ssh/libcrux_internal.h
19508
Eurydice_borrow_slice_u8 seed_for_error_vectors = uu____1.fst;
usr.bin/ssh/libcrux_internal.h
19509
Eurydice_borrow_slice_u8 seed_for_signing = uu____1.snd;
usr.bin/ssh/libcrux_internal.h
19581
KRML_CLITERAL(Eurydice_borrow_slice_u8){
usr.bin/ssh/libcrux_internal.h
19614
Eurydice_borrow_slice_u8 signing_key,
usr.bin/ssh/libcrux_internal.h
19615
Eurydice_borrow_slice_u8 message,
usr.bin/ssh/libcrux_internal.h
19627
Eurydice_borrow_slice_u8 seed_for_a = uu____0.fst;
usr.bin/ssh/libcrux_internal.h
19628
Eurydice_borrow_slice_u8 remaining_serialized0 = uu____0.snd;
usr.bin/ssh/libcrux_internal.h
19635
Eurydice_borrow_slice_u8 seed_for_signing = uu____1.fst;
usr.bin/ssh/libcrux_internal.h
19636
Eurydice_borrow_slice_u8 remaining_serialized1 = uu____1.snd;
usr.bin/ssh/libcrux_internal.h
19643
Eurydice_borrow_slice_u8 verification_key_hash = uu____2.fst;
usr.bin/ssh/libcrux_internal.h
19644
Eurydice_borrow_slice_u8 remaining_serialized2 = uu____2.snd;
usr.bin/ssh/libcrux_internal.h
19652
Eurydice_borrow_slice_u8 s1_serialized = uu____3.fst;
usr.bin/ssh/libcrux_internal.h
19653
Eurydice_borrow_slice_u8 remaining_serialized = uu____3.snd;
usr.bin/ssh/libcrux_internal.h
19661
Eurydice_borrow_slice_u8 s2_serialized = uu____4.fst;
usr.bin/ssh/libcrux_internal.h
19662
Eurydice_borrow_slice_u8 t0_serialized = uu____4.snd;
usr.bin/ssh/libcrux_internal.h
1982
static inline Eurydice_borrow_slice_u8
usr.bin/ssh/libcrux_internal.h
1985
Eurydice_borrow_slice_u8 lit;
usr.bin/ssh/libcrux_internal.h
19954
Eurydice_borrow_slice_u8 signing_key,
usr.bin/ssh/libcrux_internal.h
19955
Eurydice_borrow_slice_u8 message,
usr.bin/ssh/libcrux_internal.h
19956
Eurydice_borrow_slice_u8 context,
usr.bin/ssh/libcrux_internal.h
19998
Eurydice_borrow_slice_u8 signing_key,
usr.bin/ssh/libcrux_internal.h
19999
Eurydice_borrow_slice_u8 message,
usr.bin/ssh/libcrux_internal.h
20000
Eurydice_borrow_slice_u8 context,
usr.bin/ssh/libcrux_internal.h
20038
Eurydice_borrow_slice_u8 message,
usr.bin/ssh/libcrux_internal.h
20039
Eurydice_borrow_slice_u8 context,
usr.bin/ssh/libcrux_internal.h
2005
static inline Eurydice_borrow_slice_u8
usr.bin/ssh/libcrux_internal.h
20056
Eurydice_borrow_slice_u8 message,
usr.bin/ssh/libcrux_internal.h
20057
Eurydice_borrow_slice_u8 context,
usr.bin/ssh/libcrux_internal.h
20078
Eurydice_borrow_slice_u8 signing_key,
usr.bin/ssh/libcrux_internal.h
20079
Eurydice_borrow_slice_u8 message,
usr.bin/ssh/libcrux_internal.h
2008
Eurydice_borrow_slice_u8 lit;
usr.bin/ssh/libcrux_internal.h
20080
Eurydice_borrow_slice_u8 context,
usr.bin/ssh/libcrux_internal.h
20113
KRML_CLITERAL(Eurydice_borrow_slice_u8){
usr.bin/ssh/libcrux_internal.h
20144
Eurydice_borrow_slice_u8 signing_key,
usr.bin/ssh/libcrux_internal.h
20145
Eurydice_borrow_slice_u8 message,
usr.bin/ssh/libcrux_internal.h
20146
Eurydice_borrow_slice_u8 context,
usr.bin/ssh/libcrux_internal.h
20186
Eurydice_borrow_slice_u8 message,
usr.bin/ssh/libcrux_internal.h
20187
Eurydice_borrow_slice_u8 context,
usr.bin/ssh/libcrux_internal.h
20215
Eurydice_borrow_slice_u8 message,
usr.bin/ssh/libcrux_internal.h
20226
Eurydice_borrow_slice_u8 seed_for_a = uu____0.fst;
usr.bin/ssh/libcrux_internal.h
20227
Eurydice_borrow_slice_u8 t1_serialized = uu____0.snd;
usr.bin/ssh/libcrux_internal.h
2028
static inline Eurydice_borrow_slice_u8
usr.bin/ssh/libcrux_internal.h
2031
Eurydice_borrow_slice_u8 lit;
usr.bin/ssh/libcrux_internal.h
20379
Eurydice_borrow_slice_u8 message,
usr.bin/ssh/libcrux_internal.h
20380
Eurydice_borrow_slice_u8 context,
usr.bin/ssh/libcrux_internal.h
20418
Eurydice_borrow_slice_u8 message,
usr.bin/ssh/libcrux_internal.h
20419
Eurydice_borrow_slice_u8 context,
usr.bin/ssh/libcrux_internal.h
20439
Eurydice_borrow_slice_u8 message,
usr.bin/ssh/libcrux_internal.h
20440
Eurydice_borrow_slice_u8 context,
usr.bin/ssh/libcrux_internal.h
20470
KRML_CLITERAL(Eurydice_borrow_slice_u8){
usr.bin/ssh/libcrux_internal.h
20490
Eurydice_borrow_slice_u8 message,
usr.bin/ssh/libcrux_internal.h
20491
Eurydice_borrow_slice_u8 context,
usr.bin/ssh/libcrux_internal.h
20566
Eurydice_borrow_slice_u8 message,
usr.bin/ssh/libcrux_internal.h
20567
Eurydice_borrow_slice_u8 context,
usr.bin/ssh/libcrux_internal.h
20588
Eurydice_borrow_slice_u8 message,
usr.bin/ssh/libcrux_internal.h
20589
Eurydice_borrow_slice_u8 context,
usr.bin/ssh/libcrux_internal.h
20612
Eurydice_borrow_slice_u8 message,
usr.bin/ssh/libcrux_internal.h
20613
Eurydice_borrow_slice_u8 context,
usr.bin/ssh/libcrux_internal.h
20637
Eurydice_borrow_slice_u8 message,
usr.bin/ssh/libcrux_internal.h
20638
Eurydice_borrow_slice_u8 context,
usr.bin/ssh/libcrux_internal.h
20659
Eurydice_borrow_slice_u8 message,
usr.bin/ssh/libcrux_internal.h
20660
Eurydice_borrow_slice_u8 context,
usr.bin/ssh/libcrux_internal.h
20666
Eurydice_borrow_slice_u8 uu____1 = message;
usr.bin/ssh/libcrux_internal.h
20667
Eurydice_borrow_slice_u8 uu____2 = context;
usr.bin/ssh/libcrux_internal.h
20754
Eurydice_borrow_slice_u8 message,
usr.bin/ssh/libcrux_internal.h
20755
Eurydice_borrow_slice_u8 context,
usr.bin/ssh/libcrux_internal.h
20776
Eurydice_borrow_slice_u8 message,
usr.bin/ssh/libcrux_internal.h
20777
Eurydice_borrow_slice_u8 context,
usr.bin/ssh/libcrux_internal.h
20800
Eurydice_borrow_slice_u8 message,
usr.bin/ssh/libcrux_internal.h
20801
Eurydice_borrow_slice_u8 context,
usr.bin/ssh/libcrux_internal.h
20825
Eurydice_borrow_slice_u8 message,
usr.bin/ssh/libcrux_internal.h
20826
Eurydice_borrow_slice_u8 context,
usr.bin/ssh/libcrux_internal.h
20847
Eurydice_borrow_slice_u8 message,
usr.bin/ssh/libcrux_internal.h
20848
Eurydice_borrow_slice_u8 context,
usr.bin/ssh/libcrux_internal.h
20854
Eurydice_borrow_slice_u8 uu____1 = message;
usr.bin/ssh/libcrux_internal.h
20855
Eurydice_borrow_slice_u8 uu____2 = context;
usr.bin/ssh/libcrux_internal.h
20927
Eurydice_borrow_slice_u8 message,
usr.bin/ssh/libcrux_internal.h
20928
Eurydice_borrow_slice_u8 context,
usr.bin/ssh/libcrux_internal.h
20949
Eurydice_borrow_slice_u8 message,
usr.bin/ssh/libcrux_internal.h
20950
Eurydice_borrow_slice_u8 context,
usr.bin/ssh/libcrux_internal.h
20973
Eurydice_borrow_slice_u8 message,
usr.bin/ssh/libcrux_internal.h
20974
Eurydice_borrow_slice_u8 context,
usr.bin/ssh/libcrux_internal.h
20998
Eurydice_borrow_slice_u8 message,
usr.bin/ssh/libcrux_internal.h
20999
Eurydice_borrow_slice_u8 context,
usr.bin/ssh/libcrux_internal.h
21020
Eurydice_borrow_slice_u8 message,
usr.bin/ssh/libcrux_internal.h
21021
Eurydice_borrow_slice_u8 context,
usr.bin/ssh/libcrux_internal.h
21027
Eurydice_borrow_slice_u8 uu____1 = message;
usr.bin/ssh/libcrux_internal.h
21028
Eurydice_borrow_slice_u8 uu____2 = context;
usr.bin/ssh/libcrux_internal.h
21071
libcrux_ml_kem_hash_functions_portable_G(Eurydice_borrow_slice_u8 input)
usr.bin/ssh/libcrux_internal.h
21079
libcrux_ml_kem_hash_functions_portable_H(Eurydice_borrow_slice_u8 input)
usr.bin/ssh/libcrux_internal.h
2179
static inline Eurydice_borrow_slice_u8
usr.bin/ssh/libcrux_internal.h
2182
Eurydice_borrow_slice_u8 lit;
usr.bin/ssh/libcrux_internal.h
21908
libcrux_ml_kem_vector_portable_serialize_deserialize_1(Eurydice_borrow_slice_u8 v)
usr.bin/ssh/libcrux_internal.h
21938
libcrux_ml_kem_vector_portable_deserialize_1(Eurydice_borrow_slice_u8 a)
usr.bin/ssh/libcrux_internal.h
21948
libcrux_ml_kem_vector_portable_deserialize_1_b8(Eurydice_borrow_slice_u8 a)
usr.bin/ssh/libcrux_internal.h
22014
libcrux_ml_kem_vector_portable_serialize_deserialize_4_int(Eurydice_borrow_slice_u8 bytes)
usr.bin/ssh/libcrux_internal.h
22040
libcrux_ml_kem_vector_portable_serialize_deserialize_4(Eurydice_borrow_slice_u8 bytes)
usr.bin/ssh/libcrux_internal.h
22062
libcrux_ml_kem_vector_portable_deserialize_4(Eurydice_borrow_slice_u8 a)
usr.bin/ssh/libcrux_internal.h
22072
libcrux_ml_kem_vector_portable_deserialize_4_b8(Eurydice_borrow_slice_u8 a)
usr.bin/ssh/libcrux_internal.h
22143
libcrux_ml_kem_vector_portable_serialize_deserialize_10_int(Eurydice_borrow_slice_u8 bytes)
usr.bin/ssh/libcrux_internal.h
22207
libcrux_ml_kem_vector_portable_serialize_deserialize_10(Eurydice_borrow_slice_u8 bytes)
usr.bin/ssh/libcrux_internal.h
22229
libcrux_ml_kem_vector_portable_deserialize_10(Eurydice_borrow_slice_u8 a)
usr.bin/ssh/libcrux_internal.h
22239
libcrux_ml_kem_vector_portable_deserialize_10_b8(Eurydice_borrow_slice_u8 a)
usr.bin/ssh/libcrux_internal.h
22318
libcrux_ml_kem_vector_portable_serialize_deserialize_12_int(Eurydice_borrow_slice_u8 bytes)
usr.bin/ssh/libcrux_internal.h
22329
libcrux_ml_kem_vector_portable_serialize_deserialize_12(Eurydice_borrow_slice_u8 bytes)
usr.bin/ssh/libcrux_internal.h
22375
libcrux_ml_kem_vector_portable_deserialize_12(Eurydice_borrow_slice_u8 a)
usr.bin/ssh/libcrux_internal.h
22385
libcrux_ml_kem_vector_portable_deserialize_12_b8(Eurydice_borrow_slice_u8 a)
usr.bin/ssh/libcrux_internal.h
22392
Eurydice_borrow_slice_u8 a,
usr.bin/ssh/libcrux_internal.h
22430
Eurydice_borrow_slice_u8 a,
usr.bin/ssh/libcrux_internal.h
2244
static inline Eurydice_borrow_slice_u8
usr.bin/ssh/libcrux_internal.h
2247
Eurydice_borrow_slice_u8 lit;
usr.bin/ssh/libcrux_internal.h
22539
Eurydice_borrow_slice_u8 serialized
usr.bin/ssh/libcrux_internal.h
22546
Eurydice_borrow_slice_u8
usr.bin/ssh/libcrux_internal.h
22572
Eurydice_borrow_slice_u8 secret_key,
usr.bin/ssh/libcrux_internal.h
22655
libcrux_ml_kem_serialize_deserialize_then_decompress_10_ea(Eurydice_borrow_slice_u8 serialized)
usr.bin/ssh/libcrux_internal.h
22661
Eurydice_borrow_slice_u8
usr.bin/ssh/libcrux_internal.h
2267
static inline Eurydice_borrow_slice_u8
usr.bin/ssh/libcrux_internal.h
22686
Eurydice_borrow_slice_u8 serialized
usr.bin/ssh/libcrux_internal.h
2270
Eurydice_borrow_slice_u8 lit;
usr.bin/ssh/libcrux_internal.h
2290
static inline Eurydice_borrow_slice_u8
usr.bin/ssh/libcrux_internal.h
22925
Eurydice_borrow_slice_u8
usr.bin/ssh/libcrux_internal.h
2293
Eurydice_borrow_slice_u8 lit;
usr.bin/ssh/libcrux_internal.h
22987
libcrux_ml_kem_serialize_deserialize_then_decompress_4_ea(Eurydice_borrow_slice_u8 serialized)
usr.bin/ssh/libcrux_internal.h
22993
Eurydice_borrow_slice_u8
usr.bin/ssh/libcrux_internal.h
23019
Eurydice_borrow_slice_u8 serialized
usr.bin/ssh/libcrux_internal.h
23490
Eurydice_borrow_slice_u8 secret_key,
usr.bin/ssh/libcrux_internal.h
23515
libcrux_ml_kem_hash_functions_portable_G_4a_78(Eurydice_borrow_slice_u8 input)
usr.bin/ssh/libcrux_internal.h
23526
libcrux_ml_kem_hash_functions_portable_PRF_ce(Eurydice_borrow_slice_u8 input)
usr.bin/ssh/libcrux_internal.h
23543
libcrux_ml_kem_hash_functions_portable_PRF_4a_3b(Eurydice_borrow_slice_u8 input)
usr.bin/ssh/libcrux_internal.h
23622
Eurydice_borrow_slice_u8 serialized
usr.bin/ssh/libcrux_internal.h
23629
Eurydice_borrow_slice_u8
usr.bin/ssh/libcrux_internal.h
23656
Eurydice_borrow_slice_u8 public_key,
usr.bin/ssh/libcrux_internal.h
23667
Eurydice_borrow_slice_u8
usr.bin/ssh/libcrux_internal.h
2388
static inline Eurydice_borrow_slice_u8
usr.bin/ssh/libcrux_internal.h
2391
Eurydice_borrow_slice_u8 lit;
usr.bin/ssh/libcrux_internal.h
24165
Eurydice_borrow_slice_u8 public_key,
usr.bin/ssh/libcrux_internal.h
24172
Eurydice_borrow_slice_u8
usr.bin/ssh/libcrux_internal.h
24188
libcrux_ml_kem_ind_cpa_build_unpacked_public_key_05(Eurydice_borrow_slice_u8 public_key)
usr.bin/ssh/libcrux_internal.h
24323
Eurydice_borrow_slice_u8 randomness
usr.bin/ssh/libcrux_internal.h
24330
Eurydice_borrow_slice_u8
usr.bin/ssh/libcrux_internal.h
24369
Eurydice_borrow_slice_u8 randomness
usr.bin/ssh/libcrux_internal.h
24535
libcrux_ml_kem_hash_functions_portable_PRF_ec(Eurydice_borrow_slice_u8 input)
usr.bin/ssh/libcrux_internal.h
2455
static inline Eurydice_borrow_slice_u8
usr.bin/ssh/libcrux_internal.h
24552
libcrux_ml_kem_hash_functions_portable_PRF_4a_3b0(Eurydice_borrow_slice_u8 input)
usr.bin/ssh/libcrux_internal.h
2458
Eurydice_borrow_slice_u8 lit;
usr.bin/ssh/libcrux_internal.h
2478
static inline Eurydice_borrow_slice_u8
usr.bin/ssh/libcrux_internal.h
24787
Eurydice_borrow_slice_u8 randomness,
usr.bin/ssh/libcrux_internal.h
2481
Eurydice_borrow_slice_u8 lit;
usr.bin/ssh/libcrux_internal.h
2501
static inline Eurydice_borrow_slice_u8
usr.bin/ssh/libcrux_internal.h
2504
Eurydice_borrow_slice_u8 lit;
usr.bin/ssh/libcrux_internal.h
25113
Eurydice_borrow_slice_u8 randomness
usr.bin/ssh/libcrux_internal.h
25152
Eurydice_borrow_slice_u8 public_key,
usr.bin/ssh/libcrux_internal.h
25154
Eurydice_borrow_slice_u8 randomness
usr.bin/ssh/libcrux_internal.h
25174
Eurydice_borrow_slice_u8 shared_secret,
usr.bin/ssh/libcrux_internal.h
25216
Eurydice_borrow_slice_u8 ind_cpa_secret_key = uu____0.fst;
usr.bin/ssh/libcrux_internal.h
25217
Eurydice_borrow_slice_u8 ind_cpa_public_key = uu____0.snd;
usr.bin/ssh/libcrux_internal.h
25218
Eurydice_borrow_slice_u8 ind_cpa_public_key_hash = uu____0.thd;
usr.bin/ssh/libcrux_internal.h
25219
Eurydice_borrow_slice_u8 implicit_rejection_value = uu____0.f3;
usr.bin/ssh/libcrux_internal.h
25237
Eurydice_borrow_slice_u8 shared_secret0 = uu____1.fst;
usr.bin/ssh/libcrux_internal.h
25238
Eurydice_borrow_slice_u8 pseudorandomness = uu____1.snd;
usr.bin/ssh/libcrux_internal.h
25253
Eurydice_borrow_slice_u8
usr.bin/ssh/libcrux_internal.h
25263
Eurydice_borrow_slice_u8 uu____4 = libcrux_ml_kem_types_as_ref_c1_52(ciphertext);
usr.bin/ssh/libcrux_internal.h
25328
libcrux_ml_kem_variant_entropy_preprocess_39_13(Eurydice_borrow_slice_u8 randomness)
usr.bin/ssh/libcrux_internal.h
25344
libcrux_ml_kem_hash_functions_portable_H_4a_78(Eurydice_borrow_slice_u8 input)
usr.bin/ssh/libcrux_internal.h
25397
Eurydice_borrow_slice_u8 shared_secret = uu____1.fst;
usr.bin/ssh/libcrux_internal.h
25398
Eurydice_borrow_slice_u8 pseudorandomness = uu____1.snd;
usr.bin/ssh/libcrux_internal.h
25487
libcrux_ml_kem_variant_cpa_keygen_seed_39_13(Eurydice_borrow_slice_u8 key_generation_seed)
usr.bin/ssh/libcrux_internal.h
25663
Eurydice_borrow_slice_u8 key_generation_seed,
usr.bin/ssh/libcrux_internal.h
25675
Eurydice_borrow_slice_u8 seed_for_A = uu____0.fst;
usr.bin/ssh/libcrux_internal.h
25676
Eurydice_borrow_slice_u8 seed_for_secret_and_error = uu____0.snd;
usr.bin/ssh/libcrux_internal.h
25791
Eurydice_borrow_slice_u8 seed_for_a,
usr.bin/ssh/libcrux_internal.h
25822
Eurydice_borrow_slice_u8 seed_for_a
usr.bin/ssh/libcrux_internal.h
25876
libcrux_ml_kem_ind_cpa_generate_keypair_30(Eurydice_borrow_slice_u8 key_generation_seed)
usr.bin/ssh/libcrux_internal.h
25899
Eurydice_borrow_slice_u8 private_key,
usr.bin/ssh/libcrux_internal.h
25900
Eurydice_borrow_slice_u8 public_key,
usr.bin/ssh/libcrux_internal.h
25901
Eurydice_borrow_slice_u8 implicit_rejection_value,
usr.bin/ssh/libcrux_internal.h
25954
Eurydice_borrow_slice_u8 private_key,
usr.bin/ssh/libcrux_internal.h
25955
Eurydice_borrow_slice_u8 public_key,
usr.bin/ssh/libcrux_internal.h
25956
Eurydice_borrow_slice_u8 implicit_rejection_value
usr.bin/ssh/libcrux_internal.h
25989
Eurydice_borrow_slice_u8
usr.bin/ssh/libcrux_internal.h
25998
Eurydice_borrow_slice_u8
usr.bin/ssh/libcrux_internal.h
26071
Eurydice_borrow_slice_u8
usr.bin/ssh/libcrux_internal.h
26203
Eurydice_borrow_slice_u8 public_key
usr.bin/ssh/libcrux_internal.h
26363
Eurydice_borrow_slice_u8 shared_secret = uu____1.fst;
usr.bin/ssh/libcrux_internal.h
26364
Eurydice_borrow_slice_u8 pseudorandomness = uu____1.snd;
usr.bin/ssh/libcrux_internal.h
26381
Eurydice_borrow_slice_u8 uu____3 = libcrux_ml_kem_types_as_ref_c1_52(ciphertext);
usr.bin/ssh/libcrux_internal.h
2639
static inline Eurydice_borrow_slice_u8
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
26450
Eurydice_borrow_slice_u8 randomness,
usr.bin/ssh/libcrux_internal.h
26451
Eurydice_borrow_slice_u8 pk_hash
usr.bin/ssh/libcrux_internal.h
26497
Eurydice_borrow_slice_u8 shared_secret = uu____0.fst;
usr.bin/ssh/libcrux_internal.h
26498
Eurydice_borrow_slice_u8 pseudorandomness = uu____0.snd;
usr.bin/ssh/libcrux_internal.h
2652
static inline Eurydice_borrow_slice_u8
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
26675
Eurydice_borrow_slice_u8
usr.bin/ssh/libcrux_internal.h
26684
Eurydice_borrow_slice_u8
usr.bin/ssh/libcrux_internal.h
26847
Eurydice_borrow_slice_u8 ind_cpa_secret_key = uu____0.fst;
usr.bin/ssh/libcrux_internal.h
26848
Eurydice_borrow_slice_u8 ind_cpa_public_key = uu____0.snd;
usr.bin/ssh/libcrux_internal.h
26849
Eurydice_borrow_slice_u8 ind_cpa_public_key_hash = uu____0.thd;
usr.bin/ssh/libcrux_internal.h
26850
Eurydice_borrow_slice_u8 implicit_rejection_value = uu____0.f3;
usr.bin/ssh/libcrux_internal.h
2689
static inline Eurydice_borrow_slice_u8
usr.bin/ssh/libcrux_internal.h
2692
Eurydice_borrow_slice_u8 lit;
usr.bin/ssh/libcrux_internal.h
27226
Eurydice_borrow_slice_u8
usr.bin/ssh/libcrux_internal.h
2726
static inline Eurydice_borrow_slice_u8
usr.bin/ssh/libcrux_internal.h
2729
Eurydice_borrow_slice_u8 lit;
usr.bin/ssh/libcrux_internal.h
27303
typedef Eurydice_borrow_slice_u8 libcrux_mldsa44_message;
usr.bin/ssh/libcrux_internal.h
27314
typedef Eurydice_borrow_slice_u8 libcrux_mldsa65_message;
usr.bin/ssh/libcrux_internal.h
27325
typedef Eurydice_borrow_slice_u8 libcrux_mldsa87_message;
usr.bin/ssh/libcrux_internal.h
2763
static inline Eurydice_borrow_slice_u8
usr.bin/ssh/libcrux_internal.h
2766
Eurydice_borrow_slice_u8 lit;
usr.bin/ssh/libcrux_internal.h
2800
static inline Eurydice_borrow_slice_u8
usr.bin/ssh/libcrux_internal.h
2803
Eurydice_borrow_slice_u8 lit;
usr.bin/ssh/libcrux_internal.h
2823
static inline Eurydice_borrow_slice_u8
usr.bin/ssh/libcrux_internal.h
2826
Eurydice_borrow_slice_u8 lit;
usr.bin/ssh/libcrux_internal.h
2881
static inline Eurydice_borrow_slice_u8
usr.bin/ssh/libcrux_internal.h
2884
Eurydice_borrow_slice_u8 lit;
usr.bin/ssh/libcrux_internal.h
2958
static inline Eurydice_borrow_slice_u8
usr.bin/ssh/libcrux_internal.h
2961
Eurydice_borrow_slice_u8 lit;
usr.bin/ssh/libcrux_internal.h
2973
static inline Eurydice_borrow_slice_u8
usr.bin/ssh/libcrux_internal.h
2976
Eurydice_borrow_slice_u8 lit;
usr.bin/ssh/libcrux_internal.h
3040
static inline Eurydice_borrow_slice_u8
usr.bin/ssh/libcrux_internal.h
3043
Eurydice_borrow_slice_u8 lit;
usr.bin/ssh/libcrux_internal.h
3055
static inline Eurydice_borrow_slice_u8
usr.bin/ssh/libcrux_internal.h
3058
Eurydice_borrow_slice_u8 lit;
usr.bin/ssh/libcrux_internal.h
3084
static inline Eurydice_borrow_slice_u8
usr.bin/ssh/libcrux_internal.h
3087
Eurydice_borrow_slice_u8 lit;
usr.bin/ssh/libcrux_internal.h
3099
static inline Eurydice_borrow_slice_u8
usr.bin/ssh/libcrux_internal.h
3102
Eurydice_borrow_slice_u8 lit;
usr.bin/ssh/libcrux_internal.h
3190
static inline Eurydice_borrow_slice_u8
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
3219
typedef struct Eurydice_arr_68_s { Eurydice_borrow_slice_u8 data[4U]; } Eurydice_arr_68;
usr.bin/ssh/libcrux_internal.h
3338
static inline Eurydice_borrow_slice_u8
usr.bin/ssh/libcrux_internal.h
3341
Eurydice_borrow_slice_u8 lit;
usr.bin/ssh/libcrux_internal.h
3379
static inline Eurydice_borrow_slice_u8
usr.bin/ssh/libcrux_internal.h
3382
Eurydice_borrow_slice_u8 lit;
usr.bin/ssh/libcrux_internal.h
3420
static inline Eurydice_borrow_slice_u8
usr.bin/ssh/libcrux_internal.h
3423
Eurydice_borrow_slice_u8 lit;
usr.bin/ssh/libcrux_internal.h
3452
static inline Eurydice_borrow_slice_u8
usr.bin/ssh/libcrux_internal.h
3453
Eurydice_slice_subslice_to_shared_72(Eurydice_borrow_slice_u8 s, size_t r)
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
3477
static inline Eurydice_borrow_slice_u8
usr.bin/ssh/libcrux_internal.h
3480
Eurydice_borrow_slice_u8 lit;
usr.bin/ssh/libcrux_internal.h
3492
static inline Eurydice_borrow_slice_u8
usr.bin/ssh/libcrux_internal.h
3495
Eurydice_borrow_slice_u8 lit;
usr.bin/ssh/libcrux_internal.h
3521
static inline Eurydice_borrow_slice_u8
usr.bin/ssh/libcrux_internal.h
3524
Eurydice_borrow_slice_u8 lit;
usr.bin/ssh/libcrux_internal.h
3569
typedef struct Eurydice_arr_dc_s { Eurydice_borrow_slice_u8 data[1U]; } Eurydice_arr_dc;
usr.bin/ssh/libcrux_internal.h
3577
static inline Eurydice_borrow_slice_u8
usr.bin/ssh/libcrux_internal.h
3580
Eurydice_borrow_slice_u8 lit;
usr.bin/ssh/libcrux_internal.h
3670
static inline Eurydice_borrow_slice_u8
usr.bin/ssh/libcrux_internal.h
3671
Eurydice_slice_subslice_shared_c8(Eurydice_borrow_slice_u8 s, core_ops_range_Range_87 r)
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
4209
Eurydice_borrow_slice_u8 blocks,
usr.bin/ssh/libcrux_internal.h
4250
Eurydice_borrow_slice_u8 blocks,
usr.bin/ssh/libcrux_internal.h
5870
Eurydice_borrow_slice_u8 data0
usr.bin/ssh/libcrux_internal.h
5894
Eurydice_borrow_slice_u8 blocks,
usr.bin/ssh/libcrux_internal.h
5935
Eurydice_borrow_slice_u8 blocks,
usr.bin/ssh/libcrux_internal.h
6003
Eurydice_borrow_slice_u8 data
usr.bin/ssh/libcrux_internal.h
6124
Eurydice_borrow_slice_u8 input,
usr.bin/ssh/libcrux_internal.h
6172
Eurydice_borrow_slice_u8 data
usr.bin/ssh/libcrux_internal.h
6291
Eurydice_borrow_slice_u8 input,
usr.bin/ssh/libcrux_internal.h
6339
Eurydice_borrow_slice_u8 data
usr.bin/ssh/libcrux_internal.h
6556
static inline Eurydice_borrow_slice_u8
usr.bin/ssh/libcrux_internal.h
6567
Eurydice_borrow_slice_u8);
usr.bin/ssh/libcrux_internal.h
6579
static inline Eurydice_borrow_slice_u8
usr.bin/ssh/libcrux_internal.h
6712
Eurydice_borrow_slice_u8 input
usr.bin/ssh/libcrux_internal.h
6758
Eurydice_borrow_slice_u8 input
usr.bin/ssh/libcrux_internal.h
6904
Eurydice_borrow_slice_u8 blocks,
usr.bin/ssh/libcrux_internal.h
6984
Eurydice_borrow_slice_u8 blocks,
usr.bin/ssh/libcrux_internal.h
7120
Eurydice_borrow_slice_u8 input,
usr.bin/ssh/libcrux_internal.h
7168
Eurydice_borrow_slice_u8 data
usr.bin/ssh/libcrux_internal.h
7183
Eurydice_borrow_slice_u8 blocks,
usr.bin/ssh/libcrux_internal.h
7253
Eurydice_borrow_slice_u8 input,
usr.bin/ssh/libcrux_internal.h
7301
Eurydice_borrow_slice_u8 data
usr.bin/ssh/libcrux_internal.h
7395
Eurydice_borrow_slice_u8 blocks,
usr.bin/ssh/libcrux_internal.h
7475
Eurydice_borrow_slice_u8 blocks,
usr.bin/ssh/libcrux_internal.h
7611
Eurydice_borrow_slice_u8 input,
usr.bin/ssh/libcrux_internal.h
7659
Eurydice_borrow_slice_u8 data
usr.bin/ssh/libcrux_internal.h
7673
Eurydice_borrow_slice_u8 blocks,
usr.bin/ssh/libcrux_internal.h
7753
Eurydice_borrow_slice_u8 blocks,
usr.bin/ssh/libcrux_internal.h
7889
Eurydice_borrow_slice_u8 input,
usr.bin/ssh/libcrux_internal.h
7937
Eurydice_borrow_slice_u8 data
usr.bin/ssh/libcrux_internal.h
7950
libcrux_sha3_sha224_ema(Eurydice_mut_borrow_slice_u8 digest, Eurydice_borrow_slice_u8 payload)
usr.bin/ssh/libcrux_internal.h
7958
static inline Eurydice_arr_a2 libcrux_sha3_sha224(Eurydice_borrow_slice_u8 data)
usr.bin/ssh/libcrux_internal.h
7969
libcrux_sha3_sha256_ema(Eurydice_mut_borrow_slice_u8 digest, Eurydice_borrow_slice_u8 payload)
usr.bin/ssh/libcrux_internal.h
7977
static inline Eurydice_arr_ec libcrux_sha3_sha256(Eurydice_borrow_slice_u8 data)
usr.bin/ssh/libcrux_internal.h
7988
libcrux_sha3_sha384_ema(Eurydice_mut_borrow_slice_u8 digest, Eurydice_borrow_slice_u8 payload)
usr.bin/ssh/libcrux_internal.h
7996
static inline Eurydice_arr_65 libcrux_sha3_sha384(Eurydice_borrow_slice_u8 data)
usr.bin/ssh/libcrux_internal.h
8007
libcrux_sha3_sha512_ema(Eurydice_mut_borrow_slice_u8 digest, Eurydice_borrow_slice_u8 payload)
usr.bin/ssh/libcrux_internal.h
8015
static inline Eurydice_arr_c7 libcrux_sha3_sha512(Eurydice_borrow_slice_u8 data)
usr.bin/ssh/libcrux_internal.h
8028
libcrux_sha3_shake128_ema(Eurydice_mut_borrow_slice_u8 out, Eurydice_borrow_slice_u8 data)
usr.bin/ssh/libcrux_internal.h
8039
libcrux_sha3_shake256_ema(Eurydice_mut_borrow_slice_u8 out, Eurydice_borrow_slice_u8 data)
usr.bin/ssh/libcrux_internal.h
8146
static inline Eurydice_borrow_slice_u8
usr.bin/ssh/libcrux_internal.h
8157
Eurydice_borrow_slice_u8);
usr.bin/ssh/libcrux_internal.h
8169
static inline Eurydice_borrow_slice_u8
usr.bin/ssh/libcrux_internal.h
819
static inline Eurydice_borrow_slice_u8
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
8299
Eurydice_borrow_slice_u8 input
usr.bin/ssh/libcrux_internal.h
832
static inline Eurydice_borrow_slice_u8
usr.bin/ssh/libcrux_internal.h
8342
Eurydice_borrow_slice_u8 input
usr.bin/ssh/libcrux_internal.h
835
Eurydice_borrow_slice_u8 lit;
usr.bin/ssh/libcrux_internal.h
855
static inline Eurydice_borrow_slice_u8
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
8700
libcrux_ml_kem_utils_into_padded_array_ce(Eurydice_borrow_slice_u8 slice)
usr.bin/ssh/libcrux_internal.h
876
static inline Eurydice_borrow_slice_u8
usr.bin/ssh/libcrux_internal.h
879
Eurydice_borrow_slice_u8 lit;
usr.bin/ssh/libcrux_internal.h
8861
libcrux_ml_kem_utils_into_padded_array_29(Eurydice_borrow_slice_u8 slice)
usr.bin/ssh/libcrux_internal.h
8880
libcrux_ml_kem_utils_into_padded_array_de(Eurydice_borrow_slice_u8 slice)
usr.bin/ssh/libcrux_internal.h
8898
static inline Eurydice_borrow_slice_u8
usr.bin/ssh/libcrux_internal.h
8913
libcrux_ml_kem_utils_into_padded_array_66(Eurydice_borrow_slice_u8 slice)
usr.bin/ssh/libcrux_internal.h
8932
libcrux_ml_kem_utils_into_padded_array_c9(Eurydice_borrow_slice_u8 slice)
usr.bin/ssh/libcrux_internal.h
8944
Eurydice_borrow_slice_u8 fst;
usr.bin/ssh/libcrux_internal.h
8945
Eurydice_borrow_slice_u8 snd;
usr.bin/ssh/libcrux_internal.h
8946
Eurydice_borrow_slice_u8 thd;
usr.bin/ssh/libcrux_internal.h
8947
Eurydice_borrow_slice_u8 f3;
usr.bin/ssh/libcrux_internal.h
8953
Eurydice_borrow_slice_u8 fst;
usr.bin/ssh/libcrux_internal.h
8954
Eurydice_borrow_slice_u8 snd;
usr.bin/ssh/libcrux_internal.h
8970
libcrux_ml_kem_types_unpack_private_key_64(Eurydice_borrow_slice_u8 private_key)
usr.bin/ssh/libcrux_internal.h
8978
Eurydice_borrow_slice_u8 ind_cpa_secret_key = uu____0.fst;
usr.bin/ssh/libcrux_internal.h
8979
Eurydice_borrow_slice_u8 secret_key0 = uu____0.snd;
usr.bin/ssh/libcrux_internal.h
8986
Eurydice_borrow_slice_u8 ind_cpa_public_key = uu____1.fst;
usr.bin/ssh/libcrux_internal.h
8987
Eurydice_borrow_slice_u8 secret_key = uu____1.snd;
usr.bin/ssh/libcrux_internal.h
8994
Eurydice_borrow_slice_u8 ind_cpa_public_key_hash = uu____2.fst;
usr.bin/ssh/libcrux_internal.h
8995
Eurydice_borrow_slice_u8 implicit_rejection_value = uu____2.snd;
usr.bin/ssh/libcrux_internal.h
9318
Eurydice_borrow_slice_u8 slice,
usr.bin/ssh/libcrux_internal.h
9353
libcrux_ml_dsa_sample_add_domain_separator(Eurydice_borrow_slice_u8 slice, uint8_t_x2 indices)
usr.bin/ssh/libcrux_internal.h
9373
Eurydice_borrow_slice_u8 context;
usr.bin/ssh/libcrux_internal.h
9406
Eurydice_borrow_slice_u8 context,
usr.bin/ssh/libcrux_internal.h
9450
static inline Eurydice_borrow_slice_u8
usr.bin/ssh/libcrux_internal.h
9460
Eurydice_borrow_slice_u8 randomness,
usr.bin/ssh/libcrux_internal.h
954
static inline Eurydice_borrow_slice_u8
usr.bin/ssh/libcrux_internal.h
957
Eurydice_borrow_slice_u8 lit;
usr.bin/ssh/libcrux_internal.h
995
static inline Eurydice_borrow_slice_u8
usr.bin/ssh/libcrux_internal.h
998
Eurydice_borrow_slice_u8 lit;
usr.bin/ssh/libcrux_internal.h
9995
Eurydice_borrow_slice_u8 randomness,