Symbol: core_option_Option_45
usr.bin/ssh/libcrux_internal.h
19723
core_option_Option_45 hint0 = { .tag = core_option_None };
usr.bin/ssh/libcrux_internal.h
19879
KRML_CLITERAL(core_option_Option_45){