[ library(notinstance) | Reference Manual | Alphabetic Index ]
X ~=< Y
Constrain X not to be an instance of Y
Description
We assume:
    
	-  no shared variables between X and Y
	
-  X may get more instantiated, but not Y
    
Failure is detected eagerly. Success may be detected late.