From 1b3aa3daa64f8b68aa08ff1c5458ba828398f897 Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Wed, 6 Jul 2005 09:13:20 +0000 Subject: [PATCH] added docu comment --- helm/ocaml/cic_transformations/mpresentation.mli | 1 + 1 file changed, 1 insertion(+) diff --git a/helm/ocaml/cic_transformations/mpresentation.mli b/helm/ocaml/cic_transformations/mpresentation.mli index 60ba3c9e1..e322e92e1 100644 --- a/helm/ocaml/cic_transformations/mpresentation.mli +++ b/helm/ocaml/cic_transformations/mpresentation.mli @@ -61,6 +61,7 @@ and 'a row = Mtr of attr * 'a mtd list and 'a mtd = Mtd of attr * 'a mpres + (** XML attribute: namespace, name, value *) and attr = (string option * string * string) list ;; -- 2.39.2