Symbol: KRML_CLITERAL
usr.bin/ssh/libcrux_internal.h
204
#define KRML_CLITERAL(type) type
usr.bin/ssh/libcrux_internal.h
206
#define KRML_CLITERAL(type) (type)