2 ||M|| This file is part of HELM, an Hypertextual, Electronic
3 ||A|| Library of Mathematics, developed at the Computer Science
4 ||T|| Department, University of Bologna, Italy.
6 ||T|| HELM is free software; you can redistribute it and/or
7 ||A|| modify it under the terms of the GNU General Public License
8 \ / version 2 or (at your option) any later version.
9 \ / This software is distributed as is, NO WARRANTY.
10 V_______________________________________________________________ *)
16 type item = Free of string (* free text *)
17 | Text of string (* quoted text *)
18 | Macro of string (* macro *)
19 | Group of text (* group *)
21 and text = item list (* structured text *)
27 let arg s = Group [Text s]
29 let free s = Group [Free s]
32 L.rev_map arg ("" :: (L.rev us))
34 let mk_rev_args riss =
35 L.rev_map group ([] :: riss)
37 let rev_mk_args iss is =
38 free "" :: X.rev_map_append group iss is