Previous

Up

Next

XmlTag = fun [ Tag ] Xml

CONSTRUCTEUR DE TYPE SOMME.

	Un Tag quelconque.

Un objet Xml Tag contenant le tag passé en paramètre.

On écrira, comme pour tout constructeur de type somme :

• XmlTag t : pour construire un type Xml contenant le tag 't'
• (match x -> (XmlTag t-> ...expr...)) : pour extraire et traiter le tag 't' d'un type Xml

XmlTxt   Xml   tagSub   tagAttrib   tagName