let add_binding map loc v = let z = valid_enumerate_bits loc in let exact = valid_cardinal_zero_or_one loc in add_binding ~exact map z v