\section{Builtin code names}
\label{sec:code}


{\renewcommand{\arraystretch}{1.3}
	\begin{tabular}{l l l}
		\textbf{Name} & \textbf{Type} & \textbf{Description} \\\hline
		\fuspel{mul a b}
			& Int $\to$ Int $\to$ Int
			& Multiplies $a$ and $b$ \\
		\fuspel{sub a b}
			& Int $\to$ Int $\to$ Int
			& Subtracts $a$ from $b$ \\
		\fuspel{time}
			& Int
			& The current time in seconds since the Unix Epoch. \\
	\end{tabular}
}