62 |
object |
object |
63 |
inherit ['a] defaultVisitor |
inherit ['a] defaultVisitor |
64 |
|
|
|
constraint 'a = nn |
|
65 |
|
|
66 |
(** |
(** |
67 |
The XML file's header. Contains the DTD. |
The XML file's header. Contains the DTD. |
112 |
(** |
(** |
113 |
Dumps a 2d array. |
Dumps a 2d array. |
114 |
*) |
*) |
115 |
method private dump2dArray : 'b array -> ('b -> string) -> unit |
method private dump2dArray : int array -> (int -> string) -> unit |
116 |
|
|
117 |
(** |
(** |
118 |
Dumps a 3d array. |
Dumps a 3d array. |
122 |
(** |
(** |
123 |
Dumps a 4d array. |
Dumps a 4d array. |
124 |
*) |
*) |
125 |
method private dump4dArray : 'c array array array -> ('c -> string) -> unit |
method private dump4dArray : float array array array -> (float -> string) -> unit |
126 |
|
|
127 |
(** |
(** |
128 |
Dumps a 5d array. |
Dumps a 5d array. |
129 |
*) |
*) |
130 |
method private dump5dArray : 'd array array array array -> ('d -> string) -> unit |
method private dump5dArray : float array array array array -> (float -> string) -> unit |
131 |
|
|
132 |
(** |
(** |
133 |
The method which creates the XML file with its embedded DTD, and dump |
The method which creates the XML file with its embedded DTD, and dump |