597 $\textit{bmkeps}\,(_{bs}\ONE)$ & $\dn$ & $bs$\\ |
597 $\textit{bmkeps}\,(_{bs}\ONE)$ & $\dn$ & $bs$\\ |
598 $\textit{bmkeps}\,(_{bs}\oplus a::\textit{as})$ & $\dn$ & |
598 $\textit{bmkeps}\,(_{bs}\oplus a::\textit{as})$ & $\dn$ & |
599 $\textit{if}\;\textit{bnullable}\,a$\\ |
599 $\textit{if}\;\textit{bnullable}\,a$\\ |
600 & &$\textit{then}\;bs\,@\,\textit{bmkeps}\,a$\\ |
600 & &$\textit{then}\;bs\,@\,\textit{bmkeps}\,a$\\ |
601 & &$\textit{else}\;bs\,@\,\textit{bmkeps}\,(_{bs}\textit{as})$\\ |
601 & &$\textit{else}\;bs\,@\,\textit{bmkeps}\,(_{bs}\textit{as})$\\ |
602 $\textit{bmkeps}\,(_{bs} a_1 \cdota_2)$ & $\dn$ & |
602 $\textit{bmkeps}\,(_{bs} a_1 \cdot a_2)$ & $\dn$ & |
603 $bs \,@\,\textit{bmkeps}\,a_1\,@\, \textit{bmkeps}\,a_2$\\ |
603 $bs \,@\,\textit{bmkeps}\,a_1\,@\, \textit{bmkeps}\,a_2$\\ |
604 $\textit{bmkeps}\,(_{bs}a^*)$ & $\dn$ & |
604 $\textit{bmkeps}\,(_{bs}a^*)$ & $\dn$ & |
605 $bs \,@\, [1]$ |
605 $bs \,@\, [1]$ |
606 \end{tabular} |
606 \end{tabular} |
607 \end{center} |
607 \end{center} |