:: deftheorem defines Constructors ABCMIZ_1:def 21 :
Constructors = (Modes \/ Attrs) \/ Funcs;