Searched refs:CLITERAL (Results 1 – 1 of 1) sorted by relevance
59 #define CLITERAL(type) type macro61 #define CLITERAL(type) (type)88 (CLITERAL(Eurydice_slice){.ptr = (void *)(x + start), .len = end - start})139 (CLITERAL(ret_t){ \143 (CLITERAL(ret_t){ \199 ? (CLITERAL(ret_t){.tag = None}) \200 : (CLITERAL(ret_t){.tag = Some, .f0 = (iter_ptr)->start++}))482 CLITERAL(libcrux_ml_kem_mlkem768_MlKem768KeyPair){.sk = sk, .pk = pk}); in libcrux_ml_kem_types_from_17_35()2486 (CLITERAL(core_ops_range_Range_b3){.start = (size_t)1U, in libcrux_sha3_generic_keccak_keccak_e9()2845 (CLITERAL(core_ops_range_Range_b3){.start = (size_t)1U, in libcrux_sha3_generic_keccak_keccak_e90()[all …]