Searched defs:outcome_set0 (Results 1 – 1 of 1) sorted by relevance
10028 uint32_t outcome_set0 = outcome_set * 4U; in libcrux_ml_kem_sampling_sample_from_binomial_distribution_2_85() local10072 int32_t outcome_set0 = outcome_set * (int32_t)6; in libcrux_ml_kem_sampling_sample_from_binomial_distribution_3_eb() local