Symbol: core_option_Option_81
usr.bin/ssh/libcrux_internal.h
18680
core_option_Option_81 commitment_hash0 = { .tag = core_option_None };
usr.bin/ssh/libcrux_internal.h
18829
KRML_CLITERAL(core_option_Option_81){