doc-src/Ref/defining.tex
changeset 3318 0cdbca0a2573
parent 3228 41ad2d5077be
child 3485 f27a30a18a17
equal deleted inserted replaced
3317:2cfb98c49c42 3318:0cdbca0a2573
   102     ~~$|$~~ $logic^{(\infty)}$ {\tt(} $any$ {\tt,} \dots {\tt,} $any$ {\tt)} \\\\
   102     ~~$|$~~ $logic^{(\infty)}$ {\tt(} $any$ {\tt,} \dots {\tt,} $any$ {\tt)} \\\\
   103 $logic$ &=& {\tt(} $logic$ {\tt)} \\
   103 $logic$ &=& {\tt(} $logic$ {\tt)} \\
   104       &$|$& $logic^{(4)}$ {\tt::} $type$ & (3) \\
   104       &$|$& $logic^{(4)}$ {\tt::} $type$ & (3) \\
   105       &$|$& $id$ ~~$|$~~ $var$
   105       &$|$& $id$ ~~$|$~~ $var$
   106     ~~$|$~~ $logic^{(\infty)}$ {\tt(} $any$ {\tt,} \dots {\tt,} $any$ {\tt)} \\
   106     ~~$|$~~ $logic^{(\infty)}$ {\tt(} $any$ {\tt,} \dots {\tt,} $any$ {\tt)} \\
   107       &$|$& {\tt \%} $idts$ {\tt.} $any$ & (0) \\\\
   107       &$|$& {\tt \%} $idts$ {\tt.} $any^{(3)}$ & (3) \\\\
   108 $idts$ &=& $idt$ ~~$|$~~ $idt^{(1)}$ $idts$ \\\\
   108 $idts$ &=& $idt$ ~~$|$~~ $idt^{(1)}$ $idts$ \\\\
   109 $idt$ &=& $id$ ~~$|$~~ {\tt(} $idt$ {\tt)} \\
   109 $idt$ &=& $id$ ~~$|$~~ {\tt(} $idt$ {\tt)} \\
   110     &$|$& $id$ {\tt ::} $type$ & (0) \\\\
   110     &$|$& $id$ {\tt ::} $type$ & (0) \\\\
   111 $type$ &=& {\tt(} $type$ {\tt)} \\
   111 $type$ &=& {\tt(} $type$ {\tt)} \\
   112      &$|$& $tid$ ~~$|$~~ $tvar$ ~~$|$~~ $tid$ {\tt::} $sort$
   112      &$|$& $tid$ ~~$|$~~ $tvar$ ~~$|$~~ $tid$ {\tt::} $sort$