usr.bin/ssh/libcrux_internal.h

224

(KRML_CLITERAL(ret_t){EURYDICE_CFIELD(.ptr =)(ptr_)->data, \

usr.bin/ssh/libcrux_internal.h

225

EURYDICE_CFIELD(.meta =) len_})

usr.bin/ssh/libcrux_internal.h

257

EURYDICE_CFIELD(.fst =){EURYDICE_CFIELD(.ptr =)((slice).ptr), \

usr.bin/ssh/libcrux_internal.h

258

EURYDICE_CFIELD(.meta =) mid}, \

usr.bin/ssh/libcrux_internal.h

259

EURYDICE_CFIELD(.snd =) { \

usr.bin/ssh/libcrux_internal.h

260

EURYDICE_CFIELD(.ptr =) \

usr.bin/ssh/libcrux_internal.h

261

((slice).ptr + mid), EURYDICE_CFIELD(.meta =)((slice).meta - mid) \

usr.bin/ssh/libcrux_internal.h

267

EURYDICE_CFIELD(.fst =){EURYDICE_CFIELD(.ptr =)((slice).ptr), \

usr.bin/ssh/libcrux_internal.h

268

EURYDICE_CFIELD(.meta =) mid}, \

usr.bin/ssh/libcrux_internal.h

269

EURYDICE_CFIELD(.snd =) { \

usr.bin/ssh/libcrux_internal.h

270

EURYDICE_CFIELD(.ptr =) \

usr.bin/ssh/libcrux_internal.h

271

((slice).ptr + mid), EURYDICE_CFIELD(.meta =)((slice).meta - mid) \

usr.bin/ssh/libcrux_internal.h

537

? (KRML_CLITERAL(ret_t){EURYDICE_CFIELD(.tag =) 0, \

usr.bin/ssh/libcrux_internal.h

538

EURYDICE_CFIELD(.f0 =) 0}) \

usr.bin/ssh/libcrux_internal.h

539

: (KRML_CLITERAL(ret_t){EURYDICE_CFIELD(.tag =) 1, \

usr.bin/ssh/libcrux_internal.h

540

EURYDICE_CFIELD(.f0 =)(iter_ptr)->start++}))