[ < ] [ > ]   [ << ] [ Up ] [ >> ]         [Top] [Contents] [Index] [ ? ]

2.5.4 Tests

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



This document was generated by Carsten Dominik on May, 30 2005 using texi2html