Canadian teams

[Abel Molina Prieto]

Hello,

I would like to know if we can use CanadianTeams as a type in our
operations, or it is necessary to use Teams as a type, and then have the
appropriate preconditions.

Thanks,
Abel Molina

[Nancy Day]

Post by Abel Molina Prieto
I would like to know if we can use CanadianTeams as a type in our
operations, or it is necessary to use Teams as a type, and then have the
appropriate preconditions.

Please write the specification as if it could later be expanded for
other sets of teams, i.e., the type would be teams.

thanks, nancy
--------------------------------------------------------------------
Nancy Day, Associate Professor
CS245 Winter 2009 Instructor
http://www.student.cs.uwaterloo.ca/~cs245
David R. Cheriton School of Computer Science, University of Waterloo