HomeIsabelle/Phabricator

The abi type is always a short int.

Description

The abi type is always a short int.

Details

Provenance
dcjmAuthored on Jul 24 2020, 1:54 PM
Parents
rPOLYMLbbfff949ac36: Merge branch 'master' into CompileForeignCall
Branches
Unknown
Tags
Unknown