The SYMBOL signature

Synopsis

signature SYMBOL
structure Symbol : SYMBOL


Interface

type symbol
datatype namespace
  = VALspace
  | TYCspace
  | SIGspace
  | STRspace
  | FCTspace
  | FIXspace
  | LABspace
  | TYVspace
  | FSIGspace
val eq : (symbol * symbol) -> bool
val symbolGt : (symbol * symbol) -> bool
val symbolCMLt : (symbol * symbol) -> bool
val varSymbol : string -> symbol
val tycSymbol : string -> symbol
val sigSymbol : string -> symbol
val strSymbol : string -> symbol
val fctSymbol : string -> symbol
val fsigSymbol : string -> symbol
val fixSymbol : string -> symbol
val labSymbol : string -> symbol
val tyvSymbol : string -> symbol
val var'n'fix : string -> (symbol * symbol)
val name : symbol -> string
val number : symbol -> int
val nameSpace : symbol -> namespace
val nameSpaceToString : namespace -> string
val symbolToString : symbol -> string


Description

type symbol

datatype namespace

eq (sy, sy2)

symbolGt (sy, sy2)

symbolCMLt (sy, sy2)

varSymbol s

tycSymbol s

sigSymbol s

strSymbol s

fctSymbol s

fsigSymbol s

fixSymbol s

labSymbol s

tyvSymbol s

var'n'fix s

name sy

number sy

nameSpace sy

nameSpaceToString na

symbolToString sy