equal
deleted
inserted
replaced
13 val get_int: T -> string -> int option |
13 val get_int: T -> string -> int option |
14 val none: T |
14 val none: T |
15 val properties: (string * string) list -> T -> T |
15 val properties: (string * string) list -> T -> T |
16 val nameN: string |
16 val nameN: string |
17 val groupN: string |
17 val groupN: string |
|
18 val theory_nameN: string |
18 val idN: string |
19 val idN: string |
19 val kindN: string |
20 val kindN: string |
20 val internalK: string |
21 val internalK: string |
21 val property_internal: property |
22 val property_internal: property |
22 val lineN: string |
23 val lineN: string |
91 |
92 |
92 fun markup_elem elem = (elem, (elem, []): T); |
93 fun markup_elem elem = (elem, (elem, []): T); |
93 fun markup_string elem prop = (elem, fn s => (elem, [(prop, s)]): T); |
94 fun markup_string elem prop = (elem, fn s => (elem, [(prop, s)]): T); |
94 fun markup_int elem prop = (elem, fn i => (elem, [(prop, Int.toString i)]): T); |
95 fun markup_int elem prop = (elem, fn i => (elem, [(prop, Int.toString i)]): T); |
95 |
96 |
|
97 |
|
98 (* name *) |
|
99 |
96 val nameN = "name"; |
100 val nameN = "name"; |
97 val groupN = "group"; |
101 val groupN = "group"; |
|
102 val theory_nameN = "theory_name"; |
98 |
103 |
99 |
104 |
100 (* kind *) |
105 (* kind *) |
101 |
106 |
102 val kindN = "kind"; |
107 val kindN = "kind"; |