Symbol: core_option_Option_1e
usr.bin/ssh/libcrux_internal.h
18681
core_option_Option_1e signer_response0 = { .tag = core_option_None };
usr.bin/ssh/libcrux_internal.h
18835
(KRML_CLITERAL(core_option_Option_1e){ .tag = core_option_Some, .f0 = mask });