2EFCC |
HXS==HXS
|
( hxs hxs' → %flag )
== test
|
2F0EE |
HXS#HXS
|
( hxs hxs' → %flag )
≠ test
|
2EFCF |
HXS<HXS
|
( hxs hxs' → %flag )
< test
|
2EFCD |
HXS>HXS
|
( hxs hxs' → %flag )
> test
|
2EFCE |
HXS>=HXS
|
( hxs hxs' → %flag )
≥ test
|
2F0EF |
HXS<=HXS
|
( hxs hxs' → %flag )
≤ test
|