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