Symbol: libcrux_secrets_int_as_i16_36
usr.bin/ssh/libcrux_mlkem768_sha3.h
5721
int16_t quotient = libcrux_secrets_int_as_i16_36(
usr.bin/ssh/libcrux_mlkem768_sha3.h
5772
libcrux_secrets_int_as_i32_f5(libcrux_secrets_int_as_i16_36(value)) *
usr.bin/ssh/libcrux_mlkem768_sha3.h
5777
libcrux_secrets_int_as_i32_f5(libcrux_secrets_int_as_i16_36(k)) *
usr.bin/ssh/libcrux_mlkem768_sha3.h
5781
int16_t c = libcrux_secrets_int_as_i16_36(
usr.bin/ssh/libcrux_mlkem768_sha3.h
5784
int16_t value_high = libcrux_secrets_int_as_i16_36(
usr.bin/ssh/libcrux_mlkem768_sha3.h
7195
a.elements[i0] = libcrux_secrets_int_as_i16_36(decompressed);
usr.bin/ssh/libcrux_mlkem768_sha3.h
7502
a.elements[i0] = libcrux_secrets_int_as_i16_36(decompressed);