-
POTTIER Francois authored
The type env no longer needs to be parameterized. This makes the API safe (and simpler). There a slight runtime cost (e.g., from 4.6s to 4.7 seconds).
75c50174
The type env no longer needs to be parameterized. This makes the API safe (and simpler). There a slight runtime cost (e.g., from 4.6s to 4.7 seconds).