next up previous contents
Next: Sequence Up: The kernel language Previous: IfThenElse   Contents

AndOr

$ \AndOr {e_1}{e_2}$

$\displaystyle \typerule {\gammahastype {e_1}{\textit{\bool }},\;\; \gammahastyp... ...\bool }}}<tex2html_comment_mark>111 {\gammahastype {\AndOr {e_1}{e_2}}{\bool }}$ (3.10)


Hassan Ait Kaci 2002-05-26