型アサーション