|
-
Item1
:
ArrExpr
-
Item2
:
NatExpr
|
|
-
Item1
:
BtvExpr
-
Item2
:
int
|
|
-
Item1
:
(BoolExpr * BoolExpr) list
-
Item2
:
BoolExpr
|
|
-
Item1
:
BoolExpr
-
Item2
:
BoolExpr
|
|
-
Item
:
bool
|
|
-
Item
:
BoolExpr
|
|
-
Item1
:
BoolExpr
-
Item2
:
BoolExpr
|
|
-
Item1
:
BoolExpr
-
Item2
:
BoolExpr
|
|
-
Item1
:
QName
-
Item2
:
QType
-
Item3
:
BoolExpr
|
|
-
Item1
:
QName
-
Item2
:
QType
-
Item3
:
BoolExpr
|
|
-
Item1
:
BoolExpr
-
Item2
:
BoolExpr
|
|
-
Item1
:
BoolExpr
-
Item2
:
BoolExpr
-
Item3
:
BoolExpr
|
|
-
Item
:
BoolExpr
|
|
-
Item
:
BoolExpr
|
|
-
Item
:
LhsExpr
|
|
-
Item1
:
TupExpr
-
Item2
:
int
|
|
-
Item
:
QName
|
|
-
Item1
:
BtvExpr
-
Item2
:
BtvExpr
|
|
-
Item1
:
IntExpr
-
Item2
:
IntExpr
|
|
-
Item1
:
IntExpr
-
Item2
:
IntExpr
|
|
-
Item1
:
IntExpr
-
Item2
:
IntExpr
|
|
-
Item1
:
NatExpr
-
Item2
:
NatExpr
|
|
-
Item1
:
NatExpr
-
Item2
:
NatExpr
|
|
-
Item1
:
NatExpr
-
Item2
:
NatExpr
|
|
-
Item1
:
RealExpr
-
Item2
:
RealExpr
|
|
-
Item1
:
RealExpr
-
Item2
:
RealExpr
|
|
-
Item1
:
RealExpr
-
Item2
:
RealExpr
|
|
-
Item1
:
TupExpr
-
Item2
:
TupExpr
|