HomeIsabelle/Phabricator

Add separate descriptors for entry points and weak references. These are…

Description

Add separate descriptors for entry points and weak references. These are needed if the size of a PolyWord is
not the size of a native word.

Details

Provenance
dcjmAuthored on Mon, Oct 5, 1:22 PM
Parents
rPOLYMLed98efd94fef: Merge branch 'master' of https://github.com/dcjm/polyml
Branches
Unknown
Tags
Unknown