Searched refs:Eurydice_slice (Results 1 – 1 of 1) sorted by relevance
168 } Eurydice_slice; typedef188 (KRML_CLITERAL(Eurydice_slice){(void *)(x + start), end - start})251 KRML_CLITERAL(Eurydice_slice) { ptr_, len_ }283 KRML_CLITERAL(Eurydice_slice){EURYDICE_CFIELD(.ptr =)(slice.ptr), \285 EURYDICE_CFIELD(.snd =) KRML_CLITERAL(Eurydice_slice) { \300 Eurydice_slice src, size_t sz) { in Eurydice_slice_to_array3()331 ((Eurydice_slice){.ptr = (void *)(fam_ptr), .len = len_})334 ((Eurydice_slice){.ptr = (void *)(ptr_), .len = len_})476 Eurydice_slice slice;484 static inline Eurydice_slice chunk_next(Eurydice_chunks *chunks, in chunk_next()[all …]