[[cva]]で生成されたオブジェクトからプロパティの型定義を提供するヘルパー型。