>= - Greater Than or Equal Function
Level 2
Level 1
->
Level 1
x
y
->
0/1
#n
1
#n
2
->
0/1
"
string
1
"
"
string
2
"
->
0/1
x
'
symb
'
->
'
x
>=
symb
'
'
symb
'
z
->
'
symb
>=
z
'
'
symb
1
'
'
symb
2
'
->
'
symb
1
>=
symb
2
'
x
_
unit
1
y
_
unit
2
->
0/1
x
_
unit
'
symb
'
->
'
x
_
unit
>=
symb
'
'
symb
'
x
_
unit
->
'
symb
>=
x
_
unit
'
Adrian Drury
Last modified: Mon Jun 22 19:51:00 EDT 1998