previous up next     contents index
Next: Signed Units and Namespaces Up: Units with Signatures Previous: Signing Primitive Units

Compiling Signed Unit Expressions

Signed unit expressions expand into expressions that lookup these globals variables (with #%global-defined-value):

Procedures with these names are defined by ``unitsig.ss''. Because the expanded forms of signed unit expressions rely on these procedures, the ``unitsig.ss'' library must be used when loading a compiled file that contains signed unit expressions.



PLT