| changeset 12094 | db9a3ad6e90e |
| parent 12073 | b4401452928e |
| child 12292 | c4090cc2aa15 |
| 12093:1b890f1e0b4d | 12094:db9a3ad6e90e |
|---|---|
60 val simple_string_of_typ: typ -> string |
60 val simple_string_of_typ: typ -> string |
61 val simple_pprint_typ: typ -> pprint_args -> unit |
61 val simple_pprint_typ: typ -> pprint_args -> unit |
62 val ambiguity_level: int ref |
62 val ambiguity_level: int ref |
63 end; |
63 end; |
64 |
64 |
65 structure Syntax : SYNTAX = |
65 structure Syntax: SYNTAX = |
66 struct |
66 struct |
67 |
67 |
68 |
68 |
69 (** tables of translation functions **) |
69 (** tables of translation functions **) |
70 |
70 |