-
David Hauzar authored
The transformation intro_projections_counterexmp now can project maps with indices of types that should be projected (to type "t_to") to maps with indices that are projections of indices of original maps (they are of the type "t_to").
baac0c6b