<DT>
      <TT>Inspect (signature S = <I>S</I> structure X = <I>X</I>)</TT>
    </DT>
    <DD>
      <P>displays the module <TT><I>X</I></TT>, having signature
        <TT><I>S</I></TT>.
      </P>
    </DD>

    <DT>
      <TT>register <I>f</I></TT>
    </DT>
    <DD>
      <P>
        Adds function <TT><I>f</I></TT> as a layout function. The function must
	have a concrete type <I>tyvarseq</I> <TT><I>t</I> -> string</TT>, where
	<TT><I>t</I></TT>
	has to be an abstract type. Further calls to <TT>inspect</T