:: deftheorem defines QuasiTypes ABCMIZ_1:def 42 :
for C being initialized ConstructorSignature holds QuasiTypes C = { [A,t] where t is expression of C, a_Type C, A is finite Subset of (QuasiAdjs C) : t is pure } ;