• Andrei Paskevich's avatar
    t_s_map/t_ty_subst preserve the bound variables · 82362868
    Andrei Paskevich authored
    This permits using them in transformations, as they also
    preserve the term structure.
    Export Term.t_ty_map and Term.t_app_map. We can generalize
    t_s_map to cover t_app_map, but this requires computing the
    list of types for every application, which we rarely need.
term.mli 12.7 KB