<html><head><meta name="color-scheme" content="light dark"></head><body><pre style="word-wrap: break-word; white-space: pre-wrap;">\section{Builtin code names}
\label{sec:code}


\begin{center}
{\renewcommand{\arraystretch}{1.3}
	\begin{tabular}{l l l}
		\textbf{Name} &amp; \textbf{Type} &amp; \textbf{Description} \\

		\hline\hline\multicolumn{3}{l}{\emph{Integer operations}} \\\hline
		\fuspel{add a b}
			&amp; Int $\to$ Int $\to$ Int
			&amp; Adds $a$ and $b$ \\
		\fuspel{mul a b}
			&amp; Int $\to$ Int $\to$ Int
			&amp; Multiplies $a$ and $b$ \\
		\fuspel{sub a b}
			&amp; Int $\to$ Int $\to$ Int
			&amp; Subtracts $a$ from $b$ \\

		\hline \multicolumn{3}{l}{\emph{Tests}} \\\hline
		\fuspel{eq a b}
			&amp; Int $\to$ Int $\to \{0,1\}$
			&amp; 1 if $a=b$, 0 otherwise \\
		\fuspel{ge a b}
			&amp; Int $\to$ Int $\to \{0,1\}$
			&amp; 1 if $a\ge b$, 0 otherwise \\
		\fuspel{gt a b}
			&amp; Int $\to$ Int $\to \{0,1\}$
			&amp; 1 if $a&gt;b$, 0 otherwise \\
		\fuspel{le a b}
			&amp; Int $\to$ Int $\to \{0,1\}$
			&amp; 1 if $a\le b$, 0 otherwise \\
		\fuspel{lt a b}
			&amp; Int $\to$ Int $\to \{0,1\}$
			&amp; 1 if $a&lt;b$, 0 otherwise \\
		\fuspel{ne a b}
			&amp; Int $\to$ Int $\to \{0,1\}$
			&amp; 1 if $a\neq b$, 0 otherwise \\

		\hline\multicolumn{3}{l}{\emph{Miscellaneous}} \\\hline
		\fuspel{time}
			&amp; Int
			&amp; The current time in seconds since the Unix Epoch. \\
		\fuspel{trace}
			&amp; $a\to b\to b$
			&amp; \fuspel{trace x y} prints \fuspel{x} to stdout and returns \fuspel{y}. \\
	\end{tabular}
}
\end{center}
</pre></body></html>