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