equal
deleted
inserted
replaced
20 val internalK: string |
20 val internalK: string |
21 val property_internal: property |
21 val property_internal: property |
22 val lineN: string |
22 val lineN: string |
23 val columnN: string |
23 val columnN: string |
24 val fileN: string |
24 val fileN: string |
|
25 val position_properties: string list |
25 val positionN: string val position: T |
26 val positionN: string val position: T |
26 val indentN: string |
27 val indentN: string |
27 val blockN: string val block: int -> T |
28 val blockN: string val block: int -> T |
28 val widthN: string |
29 val widthN: string |
29 val breakN: string val break: int -> T |
30 val breakN: string val break: int -> T |
107 val lineN = "line"; |
108 val lineN = "line"; |
108 val columnN = "column"; |
109 val columnN = "column"; |
109 val fileN = "file"; |
110 val fileN = "file"; |
110 val idN = "id"; |
111 val idN = "id"; |
111 |
112 |
|
113 val position_properties = [lineN, columnN, fileN, idN]; |
112 val (positionN, position) = markup_elem "position"; |
114 val (positionN, position) = markup_elem "position"; |
113 |
115 |
114 |
116 |
115 (* pretty printing *) |
117 (* pretty printing *) |
116 |
118 |