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

3.4.5 Real and Complex Number Tests

84786 j%0=case ( %0 → :: <ob1> ; )
( ob → :: <ob2> <rest> ; )



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