Skip to content

Do not enlarge types of functions defined by terms when unnecessary #1142

Do not enlarge types of functions defined by terms when unnecessary

Do not enlarge types of functions defined by terms when unnecessary #1142

Annotations

4 warnings

This job succeeded