1 (* Copyright (C) 2000, HELM Team.
3 * This file is part of HELM, an Hypertextual, Electronic
4 * Library of Mathematics, developed at the Computer Science
5 * Department, University of Bologna, Italy.
7 * HELM is free software; you can redistribute it and/or
8 * modify it under the terms of the GNU General Public License
9 * as published by the Free Software Foundation; either version 2
10 * of the License, or (at your option) any later version.
12 * HELM is distributed in the hope that it will be useful,
13 * but WITHOUT ANY WARRANTY; without even the implied warranty of
14 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
15 * GNU General Public License for more details.
17 * You should have received a copy of the GNU General Public License
18 * along with HELM; if not, write to the Free Software
19 * Foundation, Inc., 59 Temple Place - Suite 330, Boston,
22 * For details, see the HELM World-Wide-Web page,
23 * http://cs.unibo.it/helm/.
31 | Mtext of attr * string
34 | Mgliph of attr * string
35 (* General Layout Schemata *)
36 | Mrow of attr * 'a mpres list
37 | Mfrac of attr * 'a mpres * 'a mpres
38 | Msqrt of attr * 'a mpres
39 | Mroot of attr * 'a mpres * 'a mpres
40 | Mstyle of attr * 'a mpres
41 | Merror of attr * 'a mpres
42 | Mpadded of attr * 'a mpres
43 | Mphantom of attr * 'a mpres
44 | Mfenced of attr * 'a mpres list
45 | Menclose of attr * 'a mpres
46 (* Script and Limit Schemata *)
47 | Msub of attr * 'a mpres * 'a mpres
48 | Msup of attr * 'a mpres * 'a mpres
49 | Msubsup of attr * 'a mpres * 'a mpres *'a mpres
50 | Munder of attr * 'a mpres * 'a mpres
51 | Mover of attr * 'a mpres * 'a mpres
52 | Munderover of attr * 'a mpres * 'a mpres *'a mpres
53 (* Tables and Matrices *)
54 | Mtable of attr * 'a row list
55 (* Enlivening Expressions *)
56 | Maction of attr * 'a mpres list
58 | Mobject of attr * 'a
60 and 'a row = Mtr of attr * 'a mtd list
62 and 'a mtd = Mtd of attr * 'a mpres
64 and attr = (string option * string * string) list
68 val smallskip : 'a mpres
69 val indented : 'a mpres -> 'a mpres
70 val standard_tbl_attr : attr
71 val two_rows_table : attr -> 'a mpres -> 'a mpres -> 'a mpres
72 val two_rows_table_with_brackets :
73 attr -> 'a mpres -> 'a mpres -> 'a mpres -> 'a mpres
74 val two_rows_table_without_brackets :
75 attr -> 'a mpres -> 'a mpres -> 'a mpres -> 'a mpres
76 val row_with_brackets :
77 attr -> 'a mpres -> 'a mpres -> 'a mpres -> 'a mpres
78 val row_without_brackets :
79 attr -> 'a mpres -> 'a mpres -> 'a mpres -> 'a mpres
80 val print_mpres : ('a -> Xml.token Stream.t) -> 'a mpres -> Xml.token Stream.t
81 val document_of_mpres : 'a mpres -> Xml.token Stream.t