Ilya Yanok (16) [Avatar] Offline
#1
DecEq a constraints are not needed neither for headUnequal nor tailUnequal.