% $Id: XMLSchemaBasics.lsl,v 1.3 2000/01/17 21:33:41 connolly Exp $
%
%html <h2>References</h2>
%html <ol><li><cite><a href="http://www.w3.org/XML/Group/xmlschema-current/new-design/structures.html#conformance-schemaValidity">XML Schema Part 1: Structures</a></cite><br />
%html internal draft: Id: structures.xml,v 1.13.1.15 1999/10/26 16:23:30 ht Exp
%html </ol></li>

XMLSchemaBasics: trait
    includes
        XMLInfoSet,
	URI,
        Integer,
        List(Char),
	Set(Component, FiniteSet[Component] for Set[E])

        Null enumeration of 0

        TargetNS union of
	    null: Null,
	    ns: URIwf

        Component tuple of
	    localname: List[Char],
	    tns: TargetNS,
            dex: Def_or_Decl

        Def_or_Decl union of
	    type: TypeDefinition,
	    element: ElementDeclaration,
	    attrGroup: AttrGroupDefinition,
	    attrDecl: AttrDecl
	    % @@ others

    introduces
        asString: Name -> List[Char]

    asserts
        \forall n,m: Name

        asString(n) = asString(m) => n=m