Symbol: KRML_CLITERAL
usr.bin/ssh/libcrux_mlkem768_sha3.h
171
#define KRML_CLITERAL(type) type
usr.bin/ssh/libcrux_mlkem768_sha3.h
173
#define KRML_CLITERAL(type) (type)