signature SYMTAB = sig

  type 'token t

  val init: unit -> 'token t

  type 'token auxInfo = 'token option * 'token option
  val insert: 'token t -> string -> ('token auxInfo -> 'token auxInfo)
    -> int
  val getId: 'token t -> string -> int
  val getStr: 'token t -> int -> string
  val isPpcDir: 'token t -> int -> 'token option
  val isKw: 'token t -> int -> 'token option

  val print: 'token t -> unit
end