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 )