equal
deleted
inserted
replaced
431 |
431 |
432 structure Inttab = Table(type key = int val ord = int_ord); |
432 structure Inttab = Table(type key = int val ord = int_ord); |
433 structure Symtab = Table(type key = string val ord = fast_string_ord); |
433 structure Symtab = Table(type key = string val ord = fast_string_ord); |
434 structure Symreltab = Table(type key = string * string |
434 structure Symreltab = Table(type key = string * string |
435 val ord = prod_ord fast_string_ord fast_string_ord); |
435 val ord = prod_ord fast_string_ord fast_string_ord); |
436 |
|