Symbol: KRML_CLITERAL
usr.bin/ssh/libcrux_mlkem768_sha3.h
1000
KRML_CLITERAL(libcrux_ml_kem_types_MlKemPrivateKey_d9){.value = {0U}});
usr.bin/ssh/libcrux_mlkem768_sha3.h
1049
return (KRML_CLITERAL(libcrux_ml_kem_mlkem768_MlKem768KeyPair){.sk = sk,
usr.bin/ssh/libcrux_mlkem768_sha3.h
11233
KRML_CLITERAL(libcrux_ml_kem_ind_cca_unpacked_MlKemPublicKeyUnpacked_a0){
usr.bin/ssh/libcrux_mlkem768_sha3.h
11255
return (KRML_CLITERAL(
usr.bin/ssh/libcrux_mlkem768_sha3.h
1310
KRML_CLITERAL(Eurydice_slice_uint8_t_x4){.fst = ind_cpa_secret_key,
usr.bin/ssh/libcrux_mlkem768_sha3.h
1867
self, (KRML_CLITERAL(size_t_x2){.fst = (size_t)0U,
usr.bin/ssh/libcrux_mlkem768_sha3.h
1870
self, (KRML_CLITERAL(size_t_x2){.fst = (size_t)1U,
usr.bin/ssh/libcrux_mlkem768_sha3.h
1873
self, (KRML_CLITERAL(size_t_x2){.fst = (size_t)2U,
usr.bin/ssh/libcrux_mlkem768_sha3.h
1876
self, (KRML_CLITERAL(size_t_x2){.fst = (size_t)3U,
usr.bin/ssh/libcrux_mlkem768_sha3.h
1879
self, (KRML_CLITERAL(size_t_x2){.fst = (size_t)4U,
usr.bin/ssh/libcrux_mlkem768_sha3.h
188
(KRML_CLITERAL(Eurydice_slice){(void *)(x + start), end - start})
usr.bin/ssh/libcrux_mlkem768_sha3.h
1883
self, (KRML_CLITERAL(size_t_x2){.fst = (size_t)0U,
usr.bin/ssh/libcrux_mlkem768_sha3.h
1886
self, (KRML_CLITERAL(size_t_x2){.fst = (size_t)1U,
usr.bin/ssh/libcrux_mlkem768_sha3.h
1889
self, (KRML_CLITERAL(size_t_x2){.fst = (size_t)2U,
usr.bin/ssh/libcrux_mlkem768_sha3.h
1892
self, (KRML_CLITERAL(size_t_x2){.fst = (size_t)3U,
usr.bin/ssh/libcrux_mlkem768_sha3.h
1895
self, (KRML_CLITERAL(size_t_x2){.fst = (size_t)4U,
usr.bin/ssh/libcrux_mlkem768_sha3.h
1899
self, (KRML_CLITERAL(size_t_x2){.fst = (size_t)0U,
usr.bin/ssh/libcrux_mlkem768_sha3.h
1902
self, (KRML_CLITERAL(size_t_x2){.fst = (size_t)1U,
usr.bin/ssh/libcrux_mlkem768_sha3.h
1905
self, (KRML_CLITERAL(size_t_x2){.fst = (size_t)2U,
usr.bin/ssh/libcrux_mlkem768_sha3.h
1908
self, (KRML_CLITERAL(size_t_x2){.fst = (size_t)3U,
usr.bin/ssh/libcrux_mlkem768_sha3.h
1911
self, (KRML_CLITERAL(size_t_x2){.fst = (size_t)4U,
usr.bin/ssh/libcrux_mlkem768_sha3.h
1915
self, (KRML_CLITERAL(size_t_x2){.fst = (size_t)0U,
usr.bin/ssh/libcrux_mlkem768_sha3.h
1918
self, (KRML_CLITERAL(size_t_x2){.fst = (size_t)1U,
usr.bin/ssh/libcrux_mlkem768_sha3.h
1921
self, (KRML_CLITERAL(size_t_x2){.fst = (size_t)2U,
usr.bin/ssh/libcrux_mlkem768_sha3.h
1924
self, (KRML_CLITERAL(size_t_x2){.fst = (size_t)3U,
usr.bin/ssh/libcrux_mlkem768_sha3.h
1927
self, (KRML_CLITERAL(size_t_x2){.fst = (size_t)4U,
usr.bin/ssh/libcrux_mlkem768_sha3.h
1931
self, (KRML_CLITERAL(size_t_x2){.fst = (size_t)0U,
usr.bin/ssh/libcrux_mlkem768_sha3.h
1934
self, (KRML_CLITERAL(size_t_x2){.fst = (size_t)1U,
usr.bin/ssh/libcrux_mlkem768_sha3.h
1937
self, (KRML_CLITERAL(size_t_x2){.fst = (size_t)2U,
usr.bin/ssh/libcrux_mlkem768_sha3.h
1940
self, (KRML_CLITERAL(size_t_x2){.fst = (size_t)3U,
usr.bin/ssh/libcrux_mlkem768_sha3.h
1943
self, (KRML_CLITERAL(size_t_x2){.fst = (size_t)4U,
usr.bin/ssh/libcrux_mlkem768_sha3.h
251
KRML_CLITERAL(Eurydice_slice) { ptr_, len_ }
usr.bin/ssh/libcrux_mlkem768_sha3.h
273
KRML_CLITERAL(ret_t) { \
usr.bin/ssh/libcrux_mlkem768_sha3.h
281
KRML_CLITERAL(ret_t) { \
usr.bin/ssh/libcrux_mlkem768_sha3.h
283
KRML_CLITERAL(Eurydice_slice){EURYDICE_CFIELD(.ptr =)(slice.ptr), \
usr.bin/ssh/libcrux_mlkem768_sha3.h
285
EURYDICE_CFIELD(.snd =) KRML_CLITERAL(Eurydice_slice) { \
usr.bin/ssh/libcrux_mlkem768_sha3.h
2851
self, (KRML_CLITERAL(size_t_x2){.fst = (size_t)0U,
usr.bin/ssh/libcrux_mlkem768_sha3.h
2859
self, (KRML_CLITERAL(size_t_x2){.fst = (size_t)1U,
usr.bin/ssh/libcrux_mlkem768_sha3.h
2867
self, (KRML_CLITERAL(size_t_x2){.fst = (size_t)2U,
usr.bin/ssh/libcrux_mlkem768_sha3.h
2875
self, (KRML_CLITERAL(size_t_x2){.fst = (size_t)3U,
usr.bin/ssh/libcrux_mlkem768_sha3.h
2883
self, (KRML_CLITERAL(size_t_x2){.fst = (size_t)4U,
usr.bin/ssh/libcrux_mlkem768_sha3.h
2891
self, (KRML_CLITERAL(size_t_x2){.fst = (size_t)0U,
usr.bin/ssh/libcrux_mlkem768_sha3.h
2899
self, (KRML_CLITERAL(size_t_x2){.fst = (size_t)1U,
usr.bin/ssh/libcrux_mlkem768_sha3.h
2907
self, (KRML_CLITERAL(size_t_x2){.fst = (size_t)2U,
usr.bin/ssh/libcrux_mlkem768_sha3.h
2915
self, (KRML_CLITERAL(size_t_x2){.fst = (size_t)3U,
usr.bin/ssh/libcrux_mlkem768_sha3.h
2923
self, (KRML_CLITERAL(size_t_x2){.fst = (size_t)4U,
usr.bin/ssh/libcrux_mlkem768_sha3.h
2931
self, (KRML_CLITERAL(size_t_x2){.fst = (size_t)0U,
usr.bin/ssh/libcrux_mlkem768_sha3.h
2939
self, (KRML_CLITERAL(size_t_x2){.fst = (size_t)1U,
usr.bin/ssh/libcrux_mlkem768_sha3.h
2947
self, (KRML_CLITERAL(size_t_x2){.fst = (size_t)2U,
usr.bin/ssh/libcrux_mlkem768_sha3.h
2955
self, (KRML_CLITERAL(size_t_x2){.fst = (size_t)3U,
usr.bin/ssh/libcrux_mlkem768_sha3.h
2963
self, (KRML_CLITERAL(size_t_x2){.fst = (size_t)4U,
usr.bin/ssh/libcrux_mlkem768_sha3.h
2971
self, (KRML_CLITERAL(size_t_x2){.fst = (size_t)0U,
usr.bin/ssh/libcrux_mlkem768_sha3.h
2979
self, (KRML_CLITERAL(size_t_x2){.fst = (size_t)1U,
usr.bin/ssh/libcrux_mlkem768_sha3.h
2987
self, (KRML_CLITERAL(size_t_x2){.fst = (size_t)2U,
usr.bin/ssh/libcrux_mlkem768_sha3.h
2995
self, (KRML_CLITERAL(size_t_x2){.fst = (size_t)3U,
usr.bin/ssh/libcrux_mlkem768_sha3.h
3003
self, (KRML_CLITERAL(size_t_x2){.fst = (size_t)4U,
usr.bin/ssh/libcrux_mlkem768_sha3.h
3011
self, (KRML_CLITERAL(size_t_x2){.fst = (size_t)0U,
usr.bin/ssh/libcrux_mlkem768_sha3.h
3019
self, (KRML_CLITERAL(size_t_x2){.fst = (size_t)1U,
usr.bin/ssh/libcrux_mlkem768_sha3.h
3027
self, (KRML_CLITERAL(size_t_x2){.fst = (size_t)2U,
usr.bin/ssh/libcrux_mlkem768_sha3.h
3035
self, (KRML_CLITERAL(size_t_x2){.fst = (size_t)3U,
usr.bin/ssh/libcrux_mlkem768_sha3.h
3043
self, (KRML_CLITERAL(size_t_x2){.fst = (size_t)4U,
usr.bin/ssh/libcrux_mlkem768_sha3.h
3064
&old, (KRML_CLITERAL(size_t_x2){.fst = (size_t)0U,
usr.bin/ssh/libcrux_mlkem768_sha3.h
3069
&old, (KRML_CLITERAL(size_t_x2){.fst = (size_t)0U,
usr.bin/ssh/libcrux_mlkem768_sha3.h
3074
&old, (KRML_CLITERAL(size_t_x2){.fst = (size_t)0U,
usr.bin/ssh/libcrux_mlkem768_sha3.h
3079
&old, (KRML_CLITERAL(size_t_x2){.fst = (size_t)0U,
usr.bin/ssh/libcrux_mlkem768_sha3.h
3084
&old, (KRML_CLITERAL(size_t_x2){.fst = (size_t)1U,
usr.bin/ssh/libcrux_mlkem768_sha3.h
3089
&old, (KRML_CLITERAL(size_t_x2){.fst = (size_t)1U,
usr.bin/ssh/libcrux_mlkem768_sha3.h
3094
&old, (KRML_CLITERAL(size_t_x2){.fst = (size_t)1U,
usr.bin/ssh/libcrux_mlkem768_sha3.h
3099
&old, (KRML_CLITERAL(size_t_x2){.fst = (size_t)1U,
usr.bin/ssh/libcrux_mlkem768_sha3.h
3104
&old, (KRML_CLITERAL(size_t_x2){.fst = (size_t)1U,
usr.bin/ssh/libcrux_mlkem768_sha3.h
3109
&old, (KRML_CLITERAL(size_t_x2){.fst = (size_t)2U,
usr.bin/ssh/libcrux_mlkem768_sha3.h
3114
&old, (KRML_CLITERAL(size_t_x2){.fst = (size_t)2U,
usr.bin/ssh/libcrux_mlkem768_sha3.h
3119
&old, (KRML_CLITERAL(size_t_x2){.fst = (size_t)2U,
usr.bin/ssh/libcrux_mlkem768_sha3.h
3124
&old, (KRML_CLITERAL(size_t_x2){.fst = (size_t)2U,
usr.bin/ssh/libcrux_mlkem768_sha3.h
3129
&old, (KRML_CLITERAL(size_t_x2){.fst = (size_t)2U,
usr.bin/ssh/libcrux_mlkem768_sha3.h
3134
&old, (KRML_CLITERAL(size_t_x2){.fst = (size_t)3U,
usr.bin/ssh/libcrux_mlkem768_sha3.h
3139
&old, (KRML_CLITERAL(size_t_x2){.fst = (size_t)3U,
usr.bin/ssh/libcrux_mlkem768_sha3.h
3144
&old, (KRML_CLITERAL(size_t_x2){.fst = (size_t)3U,
usr.bin/ssh/libcrux_mlkem768_sha3.h
3149
&old, (KRML_CLITERAL(size_t_x2){.fst = (size_t)3U,
usr.bin/ssh/libcrux_mlkem768_sha3.h
3154
&old, (KRML_CLITERAL(size_t_x2){.fst = (size_t)3U,
usr.bin/ssh/libcrux_mlkem768_sha3.h
3159
&old, (KRML_CLITERAL(size_t_x2){.fst = (size_t)4U,
usr.bin/ssh/libcrux_mlkem768_sha3.h
3164
&old, (KRML_CLITERAL(size_t_x2){.fst = (size_t)4U,
usr.bin/ssh/libcrux_mlkem768_sha3.h
3169
&old, (KRML_CLITERAL(size_t_x2){.fst = (size_t)4U,
usr.bin/ssh/libcrux_mlkem768_sha3.h
3174
&old, (KRML_CLITERAL(size_t_x2){.fst = (size_t)4U,
usr.bin/ssh/libcrux_mlkem768_sha3.h
3179
&old, (KRML_CLITERAL(size_t_x2){.fst = (size_t)4U,
usr.bin/ssh/libcrux_mlkem768_sha3.h
3204
self, (KRML_CLITERAL(size_t_x2){.fst = i1, .snd = j}))[0U],
usr.bin/ssh/libcrux_mlkem768_sha3.h
3207
(KRML_CLITERAL(size_t_x2){
usr.bin/ssh/libcrux_mlkem768_sha3.h
3211
(KRML_CLITERAL(size_t_x2){
usr.bin/ssh/libcrux_mlkem768_sha3.h
3233
self, (KRML_CLITERAL(size_t_x2){.fst = (size_t)0U,
usr.bin/ssh/libcrux_mlkem768_sha3.h
462
? (KRML_CLITERAL(ret_t){EURYDICE_CFIELD(.tag =) 0, \
usr.bin/ssh/libcrux_mlkem768_sha3.h
464
: (KRML_CLITERAL(ret_t){EURYDICE_CFIELD(.tag =) 1, \
usr.bin/ssh/libcrux_mlkem768_sha3.h
529
? (KRML_CLITERAL(ret_t){.tag = core_option_None}) \
usr.bin/ssh/libcrux_mlkem768_sha3.h
530
: (KRML_CLITERAL(ret_t){ \
usr.bin/ssh/libcrux_mlkem768_sha3.h
6418
KRML_CLITERAL(libcrux_ml_kem_vector_portable_vector_type_PortableVector){
usr.bin/ssh/libcrux_mlkem768_sha3.h
6468
return (KRML_CLITERAL(uint8_t_x4){
usr.bin/ssh/libcrux_mlkem768_sha3.h
6543
return (KRML_CLITERAL(int16_t_x8){.fst = v0,
usr.bin/ssh/libcrux_mlkem768_sha3.h
6560
KRML_CLITERAL(libcrux_ml_kem_vector_portable_vector_type_PortableVector){
usr.bin/ssh/libcrux_mlkem768_sha3.h
6617
return (KRML_CLITERAL(uint8_t_x5){
usr.bin/ssh/libcrux_mlkem768_sha3.h
6742
return (KRML_CLITERAL(int16_t_x8){.fst = r0,
usr.bin/ssh/libcrux_mlkem768_sha3.h
6760
KRML_CLITERAL(libcrux_ml_kem_vector_portable_vector_type_PortableVector){
usr.bin/ssh/libcrux_mlkem768_sha3.h
6798
return (KRML_CLITERAL(uint8_t_x3){.fst = r0, .snd = r1, .thd = r2});
usr.bin/ssh/libcrux_mlkem768_sha3.h
6889
return (KRML_CLITERAL(int16_t_x2){.fst = r0, .snd = r1});
usr.bin/ssh/libcrux_mlkem768_sha3.h
6914
KRML_CLITERAL(libcrux_ml_kem_vector_portable_vector_type_PortableVector){
usr.bin/ssh/libcrux_mlkem768_sha3.h
7278
return (KRML_CLITERAL(
usr.bin/ssh/libcrux_mlkem768_sha3.h
7780
return (KRML_CLITERAL(