home *** CD-ROM | disk | FTP | other *** search
/ InfoMagic Source Code 1993 July / THE_SOURCE_CODE_CD_ROM.iso / gnu / nihcl-3.0 / ex / ex10-1.v < prev    next >
Encoding:
Text File  |  1990-05-15  |  96 b   |  5 lines
  1. Loose equality, isSpecies() comparability
  2. f.isEqual(a): YES
  3. a.isEqual(f): YES
  4. a.isEqual(o): YES
  5.