equal
deleted
inserted
replaced
25 val widthN: string |
25 val widthN: string |
26 val breakN: string val break: int -> Markup.T |
26 val breakN: string val break: int -> Markup.T |
27 val fbreakN: string val fbreak: Markup.T |
27 val fbreakN: string val fbreak: Markup.T |
28 val hiddenN: string val hidden: Markup.T |
28 val hiddenN: string val hidden: Markup.T |
29 val classN: string |
29 val classN: string |
30 val typeN: string |
30 val type_nameN: string |
31 val constantN: string |
31 val constantN: string |
32 val fixedN: string val fixed: string -> Markup.T |
32 val fixedN: string val fixed: string -> Markup.T |
33 val dynamic_factN: string val dynamic_fact: string -> Markup.T |
33 val dynamic_factN: string val dynamic_fact: string -> Markup.T |
34 val tfreeN: string val tfree: Markup.T |
34 val tfreeN: string val tfree: Markup.T |
35 val tvarN: string val tvar: Markup.T |
35 val tvarN: string val tvar: Markup.T |
172 |
172 |
173 |
173 |
174 (* logical entities *) |
174 (* logical entities *) |
175 |
175 |
176 val classN = "class"; |
176 val classN = "class"; |
177 val typeN = "type"; |
177 val type_nameN = "type name"; |
178 val constantN = "constant"; |
178 val constantN = "constant"; |
179 |
179 |
180 val (fixedN, fixed) = markup_string "fixed" Markup.nameN; |
180 val (fixedN, fixed) = markup_string "fixed" Markup.nameN; |
181 val (dynamic_factN, dynamic_fact) = markup_string "dynamic_fact" Markup.nameN; |
181 val (dynamic_factN, dynamic_fact) = markup_string "dynamic_fact" Markup.nameN; |
182 |
182 |