reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
7410 equal = map_check_equal(map, "{ [i] -> [j] : exists a : i = 2a }"); 7412 if (equal < 0)