\hypertarget{group__logic}{}\section{Logic}
\label{group__logic}\index{Logic@{Logic}}
\subsection*{Namespaces}
\begin{DoxyCompactItemize}
\item 
 \mbox{\hyperlink{namespaceutl}{utl}}
\begin{DoxyCompactList}\small\item\em S\+TL\textquotesingle{}s core language concepts. \end{DoxyCompactList}\end{DoxyCompactItemize}


\subsection{Detailed Description}
logic operators and type relations support 