:: deftheorem defines ast ABCMIZ_1:def 17 :
for C being ConstructorSignature holds ast C = * ;