\begin{sql}
CREATE OR REPLACE TYPE GeoCoord AS OBJECT \\
\>(\>{\blue Longitude} NUMBER, \\
\>\> {\blue Latitude} NUMBER, \\
\>\> \red MEMBER FUNCTION \\
\>\>\> \red Distance (other IN GeoCoord) \\
\>\>\> \red RETURN NUMBER, \\
\>\> \red MAP MEMBER FUNCTION \\
\>\>\> \red Distance\_Greenwich RETURN NUMBER, \\
\>\> \blue PRAGMA RESTRICT\_REFERENCES \\
\>\>\> \blue (\red Distance\blue, WNPS, WNDS, RNPS, RNDS), \\
\>\> \blue PRAGMA RESTRICT\_REFERENCES \\
\>\>\> \blue (\red Distance\_Greenwich\blue, WNPS, WNDS, RNPS, RNDS) \\
\>); \\
\red /
\end{sql}
