SeqM3AST_AS_TYPE_DECL
SeqM3AST_AS_TYPE_DECL_rep