Previous

Up

Next

XmlTxt = fun [ S _text_ ] Xml

CONSTRUCTEUR DE TYPE SOMME.

_text_
	Une chaîne quelconque.

Un objet Xml Texte contenant le texte passé en paramètre.

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

• XmlTxt txt : pour construire un type Xml contenant le texte 'txt'
• (match x -> (XmlTxt txt-> ...expr...)) : pour extraire et traiter le texte 'txt' d'un type Xml

XmlTag   Xml