存在型の展開