/usr/share/mozart/doc/base/node5.html is in mozart-doc 1.4.0-8ubuntu1.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 | <!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN">
<HTML><HEAD><TITLE>3.3 Comparisons</TITLE><LINK href="ozdoc.css" rel="stylesheet" type="text/css"></HEAD><BODY><TABLE align="center" border="0" cellpadding="6" cellspacing="6" class="nav"><TR bgcolor="#DDDDDD"><TD><A href="node4.html#section.values.status"><< Prev</A></TD><TD><A href="value.html">- Up -</A></TD></TR></TABLE><DIV id="section.values.comparison"><H2><A name="section.values.comparison">3.3 Comparisons</A></H2><P> This section collects procedures to compare integers with integers, floats with floats, and atoms with atoms. Atoms are compared lexically. Comparison between values of different types is not allowed and an attempt to do so will raise a run-time error. </P><DL><DT><A name="label40"></A><SPAN class="index"><CODE><SPAN class="keyword">=<</SPAN></CODE></SPAN> <A name="label41"></A> </DT><DD><BLOCKQUOTE class="synopsis"><P><CODE>{Value<SPAN class="keyword">.</SPAN><SPAN class="string">'=<'</SPAN> </CODE><CODE>+<I>AFI1</I></CODE><CODE> </CODE><CODE>+<I>AFI2</I></CODE><CODE> </CODE><CODE>?<I>B</I></CODE><CODE>}</CODE> </P></BLOCKQUOTE></DD><DD><P>tests whether <CODE><I>AFI1</I></CODE> is less than or equal to <CODE><I>AFI2</I></CODE>. </P></DD><DT><A name="label42"></A><SPAN class="index"><CODE><SPAN class="keyword"><</SPAN></CODE></SPAN> <A name="label43"></A> </DT><DD><BLOCKQUOTE class="synopsis"><P><CODE>{Value<SPAN class="keyword">.</SPAN><SPAN class="string">'<'</SPAN> </CODE><CODE>+<I>AFI1</I></CODE><CODE> </CODE><CODE>+<I>AFI2</I></CODE><CODE> </CODE><CODE>?<I>B</I></CODE><CODE>}</CODE> </P></BLOCKQUOTE></DD><DD><P>tests whether <CODE><I>AFI1</I></CODE> is less than <CODE><I>AFI2</I></CODE>. </P></DD><DT><A name="label44"></A><SPAN class="index"><CODE><SPAN class="keyword">>=</SPAN></CODE></SPAN> <A name="label45"></A> </DT><DD><BLOCKQUOTE class="synopsis"><P><CODE>{Value<SPAN class="keyword">.</SPAN><SPAN class="string">'>='</SPAN> </CODE><CODE>+<I>AFI1</I></CODE><CODE> </CODE><CODE>+<I>AFI2</I></CODE><CODE> </CODE><CODE>?<I>B</I></CODE><CODE>}</CODE> </P></BLOCKQUOTE></DD><DD><P>tests whether <CODE><I>AFI1</I></CODE> is greater than or equal to <CODE><I>AFI2</I></CODE>. </P></DD><DT><A name="label46"></A><SPAN class="index"><CODE><SPAN class="keyword">></SPAN></CODE></SPAN> <A name="label47"></A> </DT><DD><BLOCKQUOTE class="synopsis"><P><CODE>{Value<SPAN class="keyword">.</SPAN><SPAN class="string">'>'</SPAN> </CODE><CODE>+<I>AFI1</I></CODE><CODE> </CODE><CODE>+<I>AFI2</I></CODE><CODE> </CODE><CODE>?<I>B</I></CODE><CODE>}</CODE> </P></BLOCKQUOTE></DD><DD><P>tests whether <CODE><I>AFI1</I></CODE> is greater than <CODE><I>AFI2</I></CODE>. </P></DD><DT><A name="label48"></A><SPAN class="index"><CODE>Max</CODE></SPAN> <A name="label49"></A> </DT><DD><BLOCKQUOTE class="synopsis"><P><CODE>{Value<SPAN class="keyword">.</SPAN>max </CODE><CODE>+<I>AFI1</I></CODE><CODE> </CODE><CODE>+<I>AFI2</I></CODE><CODE> </CODE><CODE>?<I>AFI3</I></CODE><CODE>}</CODE> </P></BLOCKQUOTE></DD><DD><P>returns the maximum of <CODE><I>AFI1</I></CODE> and <CODE><I>AFI2</I></CODE>. </P></DD><DT><A name="label50"></A><SPAN class="index"><CODE>Min</CODE></SPAN> <A name="label51"></A> </DT><DD><BLOCKQUOTE class="synopsis"><P><CODE>{Value<SPAN class="keyword">.</SPAN>min </CODE><CODE>+<I>AFI1</I></CODE><CODE> </CODE><CODE>+<I>AFI2</I></CODE><CODE> </CODE><CODE>?<I>AFI3</I></CODE><CODE>}</CODE> </P></BLOCKQUOTE></DD><DD><P>returns the minimum of <CODE><I>AFI1</I></CODE> and <CODE><I>AFI2</I></CODE>. </P></DD></DL><P></P></DIV><TABLE align="center" border="0" cellpadding="6" cellspacing="6" class="nav"><TR bgcolor="#DDDDDD"><TD><A href="node4.html#section.values.status"><< Prev</A></TD><TD><A href="value.html">- Up -</A></TD></TR></TABLE><HR><ADDRESS><A href="http://www.ps.uni-sb.de/~duchier/">Denys Duchier</A>, <A href="http://www.ps.uni-sb.de/~kornstae/">Leif Kornstaedt</A> and <A href="http://www.ps.uni-sb.de/~schulte/">Christian Schulte</A><BR><SPAN class="version">Version 1.4.0 (20110908185330)</SPAN></ADDRESS></BODY></HTML>
|