Libraries Guide: Fix type of continuousAssert

Also fix the type in the Literate Haskell comments in the Assert
package itself, even though they are not used to generate the
document now.

doc/libraries_ref_guide/LibDoc/Assert.tex

@@ -59,7 +59,7 @@ \subsubsection{Assert}
 &  \\
 \cline{2-2}
 &\begin{libverbatim}
-function Action continuousAssert(Bool b, String s);
+module continuousAssert#(Bool b, String s)(Empty);
 \end{libverbatim}
 \\
 \hline

src/Libraries/Base1/Assert.bs

@@ -48,7 +48,7 @@ nullModule =
 --@ Continuous run-time assertion (expected to be True on each clock).
 --@ Can be used anywhere a module instantiation is valid.
 --@ \begin{libverbatim}
---@ function Action continuousAssert(Bool b);
+--@ module continuousAssert#(Bool b, String s)(Empty);
 --@ \end{libverbatim}
 continuousAssert :: (IsModule m c) => Bool -> String -> m Empty
 continuousAssert = if not testAssert then (\_ _ -> nullModule)