From 98618cfb6b326b70da29348bc5d212e41086f473 Mon Sep 17 00:00:00 2001 From: Pierre-Marie Pédrot Date: Sat, 15 Aug 2015 19:17:26 +0200 Subject: More parametric type for generalized XML. --- lib/xml_datatype.mli | 14 ++++++-------- 1 file changed, 6 insertions(+), 8 deletions(-) (limited to 'lib/xml_datatype.mli') diff --git a/lib/xml_datatype.mli b/lib/xml_datatype.mli index f61ba032a..f822080a6 100644 --- a/lib/xml_datatype.mli +++ b/lib/xml_datatype.mli @@ -7,13 +7,11 @@ (************************************************************************) (** ['a gxml] is the type for semi-structured documents. They generalize - XML by allowing any kind of attributes. *) -type 'a gxml = - | Element of (string * 'a * 'a gxml list) + XML by allowing any kind of tags and attributes. *) +type ('a, 'b) gxml = + | Element of ('a * 'b * ('a, 'b) gxml list) | PCData of string -(** [xml] is a semi-structured documents where attributes are association - lists from string to string. *) -type xml = (string * string) list gxml - - +(** [xml] is a semi-structured documents where tags are strings and attributes + are association lists from string to string. *) +type xml = (string, (string * string) list) gxml -- cgit v1.2.3