[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

note about clos instance disjointness

I don't know exactly where this would fit in in the document, but we
need to say that instances of standard-classes have type disjoint with
all other types.  This is kind of obvious of course, but should be made