Open alcides opened 1 year ago
Introduce parametric refinements (Chapter 8), so we can say that the result of a map has the same refinement as the input.
Introduce parametric refinements (Chapter 8), so we can say that the result of a map has the same refinement as the input.