equal
deleted
inserted
replaced
41 val merge_keywords: keywords * keywords -> keywords |
41 val merge_keywords: keywords * keywords -> keywords |
42 val add_keywords: ((string * Position.T) * spec option) list -> keywords -> keywords |
42 val add_keywords: ((string * Position.T) * spec option) list -> keywords -> keywords |
43 val is_keyword: keywords -> string -> bool |
43 val is_keyword: keywords -> string -> bool |
44 val is_command: keywords -> string -> bool |
44 val is_command: keywords -> string -> bool |
45 val is_literal: keywords -> string -> bool |
45 val is_literal: keywords -> string -> bool |
|
46 val dest_commands: keywords -> string list |
46 val command_markup: keywords -> string -> Markup.T option |
47 val command_markup: keywords -> string -> Markup.T option |
47 val command_kind: keywords -> string -> string option |
48 val command_kind: keywords -> string -> string option |
48 val command_files: keywords -> string -> Path.T -> Path.T list |
49 val command_files: keywords -> string -> Path.T -> Path.T list |
49 val command_tags: keywords -> string -> string list |
50 val command_tags: keywords -> string -> string list |
50 val is_vacuous: keywords -> string -> bool |
51 val is_vacuous: keywords -> string -> bool |
185 |
186 |
186 fun is_keyword keywords s = Scan.is_literal (minor_keywords keywords) (Symbol.explode s); |
187 fun is_keyword keywords s = Scan.is_literal (minor_keywords keywords) (Symbol.explode s); |
187 fun is_command (Keywords {commands, ...}) = Symtab.defined commands; |
188 fun is_command (Keywords {commands, ...}) = Symtab.defined commands; |
188 fun is_literal keywords = is_keyword keywords orf is_command keywords; |
189 fun is_literal keywords = is_keyword keywords orf is_command keywords; |
189 |
190 |
|
191 fun dest_commands (Keywords {commands, ...}) = Symtab.keys commands; |
|
192 |
190 |
193 |
191 (* command keywords *) |
194 (* command keywords *) |
192 |
195 |
193 fun lookup_command (Keywords {commands, ...}) = Symtab.lookup commands; |
196 fun lookup_command (Keywords {commands, ...}) = Symtab.lookup commands; |
194 |
197 |