gneralized function bindings to support pattern guards, not just boolean guards
authorIavor S. Diatchki <iavor.diatchki@gmail.com>
Fri, 12 Jan 2007 22:53:30 +0000 (22:53 +0000)
committerIavor S. Diatchki <iavor.diatchki@gmail.com>
Fri, 12 Jan 2007 22:53:30 +0000 (22:53 +0000)
report/decls.verb

index 762dfce..07699f9 100644 (file)
@@ -1563,9 +1563,9 @@ general form:
 \ea\]
 or
 \[\ba{lll}
-"@|@ g_{i1}"   & "@=@ e_{i1} " \\
+"@|@ gs_{i1}"   & "@=@ e_{i1} " \\
 "..." \\
-"@|@ g_{im_i}" & "@=@ e_{im_i}" \\
+"@|@ gs_{im_i}" & "@=@ e_{im_i}" \\
                & \multicolumn{2}{l}{"@where {@ decls_i @}@"}
 \ea\]
 and where "n>=1", "1<=i<=n", "m_i>=1".  The former is treated