HomeIsabelle/Phabricator

Raise an exception if FFI is not supported.

Description

Raise an exception if FFI is not supported.

Details

Provenance
dcjmAuthored on Jul 23 2020, 5:40 PM
Parents
rPOLYMLdc3fe8d79cbb: Added support for foreign function calling.
Branches
Unknown
Tags
Unknown