Symbol: core_num__u8_6__wrapping_sub
crypto/openssh/libcrux_mlkem768_sha3.h
280
static inline uint8_t core_num__u8_6__wrapping_sub(uint8_t x0, uint8_t x1);
crypto/openssh/libcrux_mlkem768_sha3.h
829
uint8_t mask = core_num__u8_6__wrapping_sub(