HomeIsabelle/Phabricator

Switch to using the ML representation of the data structure for C types.

Description

Switch to using the ML representation of the data structure for C types.

Details

Provenance
dcjmAuthored on May 27 2019, 8:39 PM
Parents
rPOLYML6b111a0974e6: Use an internal representation for the ABI rather than libffi's.
Branches
Unknown
Tags
Unknown