Symbol: core_option_Option_2d
crypto/openssh/libcrux_internal.h
19722
core_option_Option_2d signer_response0 = { .tag = core_option_None };
crypto/openssh/libcrux_internal.h
19876
(KRML_CLITERAL(core_option_Option_2d){ .tag = core_option_Some, .f0 = mask });