[previous] [up] [next]     [contents] [index]
Next: Adding a Signature to Up: Mixing Core and Signed Previous: Mixing Core and Signed

Extracting a Primitive Unit from a Signed Unit

The procedure unit/sig->unit extracts and returns the primitive unit from a signed unit.

The names exported by the primitive unit correspond to the flattened export signature of the signed unit; see section 7.3.1.1 for the flattening algorithm.

The number of import variables for the primitive unit matches the total number of variables in the flattened forms of the signed unit's import signatures. The order of import variables is as follows:



PLT