Symbol: core_option_Option_d9
crypto/openssh/libcrux_internal.h
17625
core_option_Option_d9 signer_response0 = { .tag = core_option_None };
crypto/openssh/libcrux_internal.h
17781
(KRML_CLITERAL(core_option_Option_d9){ .tag = core_option_Some, .f0 = mask });