equal
deleted
inserted
replaced
35 val indentN: string |
35 val indentN: string |
36 val blockN: string val block: int -> T |
36 val blockN: string val block: int -> T |
37 val widthN: string |
37 val widthN: string |
38 val breakN: string val break: int -> T |
38 val breakN: string val break: int -> T |
39 val fbreakN: string val fbreak: T |
39 val fbreakN: string val fbreak: T |
40 val classN: string val class: string -> T |
40 val tclassN: string val tclass: string -> T |
41 val tyconN: string val tycon: string -> T |
41 val tyconN: string val tycon: string -> T |
42 val fixedN: string val fixed: string -> T |
42 val fixedN: string val fixed: string -> T |
43 val constN: string val const: string -> T |
43 val constN: string val const: string -> T |
44 val factN: string val fact: string -> T |
44 val factN: string val fact: string -> T |
45 val dynamic_factN: string val dynamic_fact: string -> T |
45 val dynamic_factN: string val dynamic_fact: string -> T |
161 val (fbreakN, fbreak) = markup_elem "fbreak"; |
161 val (fbreakN, fbreak) = markup_elem "fbreak"; |
162 |
162 |
163 |
163 |
164 (* logical entities *) |
164 (* logical entities *) |
165 |
165 |
166 val (classN, class) = markup_string "class" nameN; |
166 val (tclassN, tclass) = markup_string "tclass" nameN; |
167 val (tyconN, tycon) = markup_string "tycon" nameN; |
167 val (tyconN, tycon) = markup_string "tycon" nameN; |
168 val (fixedN, fixed) = markup_string "fixed" nameN; |
168 val (fixedN, fixed) = markup_string "fixed" nameN; |
169 val (constN, const) = markup_string "const" nameN; |
169 val (constN, const) = markup_string "const" nameN; |
170 val (factN, fact) = markup_string "fact" nameN; |
170 val (factN, fact) = markup_string "fact" nameN; |
171 val (dynamic_factN, dynamic_fact) = markup_string "dynamic_fact" nameN; |
171 val (dynamic_factN, dynamic_fact) = markup_string "dynamic_fact" nameN; |