下面哪一种不是削竹式洞门的类型。