Re: New attempt with compact TMCL (Python-like)

"Dmitry" <[email protected]> Sat, 28 Feb 2004 20:36:39 -0500

Newsgroups	gmane.text.xml.xtm.tmcl
Message-ID	<000701c3fe64$7a7b9510$7d01a8c0@dbn>

I would like to investigate and discuss concept of disjoint types.

My current suggestion is to define association 'MutuallyDisjointTypes' with
any number of roles with type 'Type'.
I also would like to suggest a special metatype 'BaseType'. All instances of
this metatype are mutually disjoint with all the other instances.

Dmitry