Type Alias ViewOf<T, D>

ViewOf: ObjectView<T> & {
    [K in keyof D]: D[K] extends Descriptor<infer T, infer V>
        ? ViewField<T, V>
        : never
}

View type for given complex object T.