1structure Symtab = Table(
2  type key = string
3  val ord = String.compare
4  val pp = HOLPP.add_string o Portable.mlquote
5);
6