home *** CD-ROM | disk | FTP | other *** search
/ Language/OS - Multiplatform Resource Library / LANGUAGE OS.iso / sml_nj / 93src.lha / src / basics / symbol.sig < prev    next >
Encoding:
Text File  |  1993-01-27  |  981 b   |  29 lines
  1. (* Copyright 1989 by AT&T Bell Laboratories *)
  2. signature SYMBOL = sig
  3.     type symbol
  4.     datatype namespace =
  5.        VALspace | TYCspace | SIGspace | STRspace | FCTspace | FIXspace |
  6.        LABspace | TYVspace | FSIGspace
  7.     val eq: symbol * symbol -> bool
  8.     and symbolGt : symbol * symbol -> bool
  9.     and varSymbol: string -> symbol
  10.     and tycSymbol: string -> symbol
  11.     and sigSymbol: string -> symbol
  12.     and strSymbol: string -> symbol
  13.     and fctSymbol: string -> symbol
  14.     and fsigSymbol: string -> symbol
  15.     and fixSymbol: string -> symbol
  16.     and labSymbol: string -> symbol
  17.     and tyvSymbol: string -> symbol
  18.     and var'n'fix : string -> symbol * symbol
  19.     and name: symbol -> string
  20.     and number: symbol -> int
  21.     val nameSpace : symbol -> namespace
  22.     val nameSpaceToString : namespace -> string
  23.     val symbolToString : symbol -> string
  24.  
  25. (* Probably should merge STRspace and FCTspace into one namespace.
  26.    Similarly for SIGspace and FSIGspace. *)
  27.  
  28. end
  29.