Skip to content
GitLab

Rename `fin_of_nat` → `nat_to_fin` to follow the conventions.

Merged Robbert Krebbers requested to merge robbert/nat_to_fin into master

Rename fin_of_nat into nat_to_fin, fin_to_of_nat into fin_to_nat_to_fin, and fin_of_to_nat into nat_to_fin_to_nat, to follow the conventions in Iris, and also the recent rename for the similar vec functions.

Merge request reports