• David Hauzar's avatar
    More projection functions for a single type. · 4748a76d
    David Hauzar authored
    Transformation intro_projections_counterexmp support more
    projections for a single type Ty.ty. The projections can have a name
    and this name is appended to the name of the function symbol or
    predicate being projected.
    This is useful for records - for record type, there can be a projection
    for each element of the type and the name of the projection can be
    the name of the element.
ident.ml 7.42 KB