Searched refs:KRML_CLITERAL (Results 1 – 1 of 1) sorted by relevance
171 #define KRML_CLITERAL(type) type macro173 #define KRML_CLITERAL(type) (type) macro188 (KRML_CLITERAL(Eurydice_slice){(void *)(x + start), end - start})251 KRML_CLITERAL(Eurydice_slice) { ptr_, len_ }273 KRML_CLITERAL(ret_t) { \281 KRML_CLITERAL(ret_t) { \283 KRML_CLITERAL(Eurydice_slice){EURYDICE_CFIELD(.ptr =)(slice.ptr), \285 EURYDICE_CFIELD(.snd =) KRML_CLITERAL(Eurydice_slice) { \462 ? (KRML_CLITERAL(ret_t){EURYDICE_CFIELD(.tag =) 0, \464 : (KRML_CLITERAL(ret_t){EURYDICE_CFIELD(.tag =) 1, \[all …]