[sc34wg3] abstract-constraint isa topic-type?

Robert Cerny robert at cerny-online.com
Fri Jan 29 03:31:36 EST 2010

Maybe i have a knot in my head, but i am having a hard time with the  
following argument:

1. tmcl:constraint isa tmcl:topic-type.
2. tmcl:abstract-constraint ako tmcl:constraint.

tmcl:abstract-constraint isa tmcl:topic-type.

I could give a long explanation which reasoning paths i tried (using  
TMDM and TMCL), but i want to keep that for later in case no one  
comes up with a sword sharp enough to cut through the knot :-)

Best regards,

Robert Cerny

Software Development

More information about the sc34wg3 mailing list