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