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