HomeIsabelle/Phabricator

Add separate RTS calls for the FFI functions.

Description

Add separate RTS calls for the FFI functions.

Details

Provenance
dcjmAuthored on May 22 2019, 4:09 PM
Parents
rPOLYML2f4d00556739: When passing a callback touch it in the "delete" function.
Branches
Unknown
Tags
Unknown