Searched refs:ret_t (Results 1 – 1 of 1) sorted by relevance
| /freebsd/crypto/openssh/ |
| H A D | libcrux_mlkem768_sha3.h | 272 #define Eurydice_slice_split_at(slice, mid, element_type, ret_t) \ argument
273 KRML_CLITERAL(ret_t) { \
280 #define Eurydice_slice_split_at_mut(slice, mid, element_type, ret_t) \ argument
281 KRML_CLITERAL(ret_t) { \
460 #define Eurydice_range_iter_next(iter_ptr, t, ret_t) \ argument
462 ? (KRML_CLITERAL(ret_t){EURYDICE_CFIELD(.tag =) 0, \
464 : (KRML_CLITERAL(ret_t){EURYDICE_CFIELD(.tag =) 1, \
505 #define Eurydice_chunks_next(iter, t, ret_t) \ argument
506 (((iter)->slice.len == 0) ? ((ret_t){.tag = core_option_None}) \
507 : ((ret_t){.tag = core_option_Some, \
[all …]
|