equal
deleted
inserted
replaced
10 end |
10 end |
11 |
11 |
12 signature SYNTAX_TRANS = |
12 signature SYNTAX_TRANS = |
13 sig |
13 sig |
14 include BASIC_SYNTAX_TRANS |
14 include BASIC_SYNTAX_TRANS |
|
15 val bracketsN: string |
|
16 val no_bracketsN: string |
15 val no_brackets: unit -> bool |
17 val no_brackets: unit -> bool |
|
18 val type_bracketsN: string |
|
19 val no_type_bracketsN: string |
16 val no_type_brackets: unit -> bool |
20 val no_type_brackets: unit -> bool |
17 val abs_tr: term list -> term |
21 val abs_tr: term list -> term |
18 val mk_binder_tr: string * string -> string * (term list -> term) |
22 val mk_binder_tr: string * string -> string * (term list -> term) |
19 val antiquote_tr: string -> term -> term |
23 val antiquote_tr: string -> term -> term |
20 val quote_tr: string -> term -> term |
24 val quote_tr: string -> term -> term |