Next: Expanding Signed Unit Expressions Up: Mixing Core and Signed Previous: Extracting a Primitive Unit

## Adding a Signature to Primitive Units

The `unit->unit/sig` syntactic form wraps a primitive unit with import and export signatures: ``

      (unit->unit/sig expr (signature   ) signature)

The last signature is used for the export signature and the other signatures specify the import signatures. If expr does not evaluate to a unit or the unit does not match the signature, no error is reported until the primitive linker discovers the problem.