HomeIsabelle/Phabricator

Fix the optimiser so that it sets the correct argument type for newly…

Description

Fix the optimiser so that it sets the correct argument type for newly introduced containers.

Details

Provenance
dcjmAuthored on Jan 6 2022, 8:44 PM
Parents
rPOLYML8c171e2fdd8d: Support for multiple results from function calls.
Branches
Unknown
Tags
Unknown