Welcome to the NetCologne GmbH open source mirroring service!

This machine mirrors various open-source projects and has 4 Gbit/s uplink.

If there are any issues or you want another project mirrored, please contact mirror-service -=AT=- netcologne DOT de !

Chapter 5. Domains and Signatures

Chapter 5. Domains and Signatures

Table of Contents

5.1. Inj and Prj

5.1. Inj and Prj

Within the body of a domain the two special names inj and prj are directly visible. The former provides a view conversion (or injection) from an object of type % to an object of the domains carrier type, whereas the latter provides a view conversion (or projection) from an object of the domains carrier type to an object of type %.

Inj and Prj
[50]Inj::= inj ( Expression )  
[51]Prj::= prj ( Expression )