SPL の型処理