let
norm_Uplet p s l =
if
!light_unif
then
norm_Uplet_light p s l
else
norm_Uplet_cmp p s l