Symbol: core_option_None
usr.bin/ssh/libcrux_internal.h
17624
core_option_Option_14 commitment_hash0 = { .tag = core_option_None };
usr.bin/ssh/libcrux_internal.h
17625
core_option_Option_d9 signer_response0 = { .tag = core_option_None };
usr.bin/ssh/libcrux_internal.h
17626
core_option_Option_51 hint0 = { .tag = core_option_None };
usr.bin/ssh/libcrux_internal.h
17795
if (commitment_hash0.tag == core_option_None)
usr.bin/ssh/libcrux_internal.h
17809
if (signer_response0.tag == core_option_None)
usr.bin/ssh/libcrux_internal.h
17823
if (!(hint0.tag == core_option_None))
usr.bin/ssh/libcrux_internal.h
17869
(KRML_CLITERAL(core_option_Option_57){ .tag = core_option_None }));
usr.bin/ssh/libcrux_internal.h
18305
(KRML_CLITERAL(core_option_Option_57){ .tag = core_option_None }));
usr.bin/ssh/libcrux_internal.h
18680
core_option_Option_81 commitment_hash0 = { .tag = core_option_None };
usr.bin/ssh/libcrux_internal.h
18681
core_option_Option_1e signer_response0 = { .tag = core_option_None };
usr.bin/ssh/libcrux_internal.h
18682
core_option_Option_05 hint0 = { .tag = core_option_None };
usr.bin/ssh/libcrux_internal.h
18849
if (commitment_hash0.tag == core_option_None)
usr.bin/ssh/libcrux_internal.h
18863
if (signer_response0.tag == core_option_None)
usr.bin/ssh/libcrux_internal.h
18877
if (!(hint0.tag == core_option_None))
usr.bin/ssh/libcrux_internal.h
18923
(KRML_CLITERAL(core_option_Option_57){ .tag = core_option_None }));
usr.bin/ssh/libcrux_internal.h
19346
(KRML_CLITERAL(core_option_Option_57){ .tag = core_option_None }));
usr.bin/ssh/libcrux_internal.h
19721
core_option_Option_b2 commitment_hash0 = { .tag = core_option_None };
usr.bin/ssh/libcrux_internal.h
19722
core_option_Option_2d signer_response0 = { .tag = core_option_None };
usr.bin/ssh/libcrux_internal.h
19723
core_option_Option_45 hint0 = { .tag = core_option_None };
usr.bin/ssh/libcrux_internal.h
19890
if (commitment_hash0.tag == core_option_None)
usr.bin/ssh/libcrux_internal.h
19904
if (signer_response0.tag == core_option_None)
usr.bin/ssh/libcrux_internal.h
19918
if (!(hint0.tag == core_option_None))
usr.bin/ssh/libcrux_internal.h
19964
(KRML_CLITERAL(core_option_Option_57){ .tag = core_option_None }));
usr.bin/ssh/libcrux_internal.h
20387
(KRML_CLITERAL(core_option_Option_57){ .tag = core_option_None }));