• David Hauzar's avatar
    Projections of indices of maps. · baac0c6b
    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
cvc4_15.drv 2.09 KB