Skip to content

Remove `E_type_in` in typed and aggregated

type:internal

For LIGO developers

The construction E_type_in is not really used after typing, as typing evaluates types, and local definitions are not needed anymore.

Changelog details:

Merge request reports

Loading