Datatypes and Combinators for XML
Overview
This document covers a collection of X-Logic tools in sml which are independent of the various proof tools implemented in sml.
Introduction
The XML Datatype
The purpose of this datatype is to provide a simple representation for XML documents for use in input output and transformation of XML documents.
The Signature
The Datatype

xl-sml
structure XmlDocRep =
struct
datatype
item =
Element of element
| Characters of UniChar.Vector
withtype
attribute = Uri.Uri option * string * UniChar.Vector
and
element = Uri.Uri option * string * attribute list * item list
end

cm file

xl-cm
Group is
fxlib.cm
xlcombs.sml


up quick index © RBJ

$Id: xlcombs.xml,v 1.1.1.1 2000/12/04 17:25:15 rbjones Exp $