usr.bin/ssh/libcrux_internal.h

1207

static inline Eurydice_borrow_slice_i16

usr.bin/ssh/libcrux_internal.h

1210

Eurydice_borrow_slice_i16 lit;

usr.bin/ssh/libcrux_internal.h

1295

static inline Eurydice_borrow_slice_i16

usr.bin/ssh/libcrux_internal.h

1299

(KRML_CLITERAL(Eurydice_borrow_slice_i16){ .ptr = a->data + r.start, .meta = r.end - r.start });

usr.bin/ssh/libcrux_internal.h

1713

static inline Eurydice_borrow_slice_i16

usr.bin/ssh/libcrux_internal.h

1717

(KRML_CLITERAL(Eurydice_borrow_slice_i16){ .ptr = a->data + r.start, .meta = r.end - r.start });

usr.bin/ssh/libcrux_internal.h

1728

static KRML_MUSTINLINE Eurydice_borrow_slice_i16

usr.bin/ssh/libcrux_internal.h

1729

libcrux_secrets_int_classify_public_classify_ref_6d_39(Eurydice_borrow_slice_i16 self)

usr.bin/ssh/libcrux_internal.h

1739

static inline Eurydice_borrow_slice_i16

usr.bin/ssh/libcrux_internal.h

1740

Eurydice_slice_subslice_shared_a6(Eurydice_borrow_slice_i16 s, core_ops_range_Range_87 r)

usr.bin/ssh/libcrux_internal.h

1743

(KRML_CLITERAL(Eurydice_borrow_slice_i16){ .ptr = s.ptr + r.start, .meta = r.end - r.start });

usr.bin/ssh/libcrux_internal.h

21104

libcrux_ml_kem_vector_portable_vector_type_from_i16_array(Eurydice_borrow_slice_i16 array)

usr.bin/ssh/libcrux_internal.h

21121

libcrux_ml_kem_vector_portable_from_i16_array_b8(Eurydice_borrow_slice_i16 array)

usr.bin/ssh/libcrux_internal.h

21954

libcrux_ml_kem_vector_portable_serialize_serialize_4_int(Eurydice_borrow_slice_i16 v)

usr.bin/ssh/libcrux_internal.h

22078

libcrux_ml_kem_vector_portable_serialize_serialize_10_int(Eurydice_borrow_slice_i16 v)

usr.bin/ssh/libcrux_internal.h

22245

libcrux_ml_kem_vector_portable_serialize_serialize_12_int(Eurydice_borrow_slice_i16 v)

usr.bin/ssh/libcrux_internal.h

24002

libcrux_ml_kem_polynomial_from_i16_array_ea(Eurydice_borrow_slice_i16 a)

usr.bin/ssh/libcrux_internal.h

24032

libcrux_ml_kem_polynomial_from_i16_array_d6_ea(Eurydice_borrow_slice_i16 a)