Class StructBase<Fields>

field<Name extends string, Builder extends ValueBuilder<any, any>>(
    name: Name,
    builder: Builder,
): StructBase<
    [...Fields[], { builder: Builder; name: Name; offset: number }],
>

override<Name extends string, Builder extends ValueBuilder<any, any>>(
    name: Name,
    builder: Builder,
): StructBase<OverrideField<Fields, Name, Builder>>

proxy(
    opts: ValueBuilderOptions,
): {
    [K in string | number | symbol]: UnionToIntersection<
        TupleToUnion<
            {
                [K in string
                | number
                | symbol]: Fields[K<K>] extends { builder: Builder; name: Name }
                    ? Name extends string
                        ? Builder extends ReadonlyValueBuilder<T>
                            ? RecursiveReadonly<{ [P in string]: T }>
                            : Builder extends WritableValueBuilder<T>
                                ? { [P in string]: Readonly<(...)> }
                                : Builder extends ProxyValueBuilder<(...)>
                                    ? { [P in (...)]: (...) }
                                    : never
                        : never
                    : never
            },
        >,
    >[K]
}

read(
    opts: ValueBuilderOptions,
): RecursiveReadonly<
    {
        [K in string
        | number
        | symbol]: UnionToIntersection<
            TupleToUnion<
                {
                    [K in string
                    | number
                    | symbol]: Fields[K<K>] extends { builder: Builder; name: Name }
                        ? Name extends string
                            ? Builder extends ReadonlyValueBuilder<T>
                                ? RecursiveReadonly<{ [P in (...)]: (...) }>
                                : Builder extends WritableValueBuilder<(...)>
                                    ? { [P in (...)]: (...) }
                                    : (...) extends (...) ? (...) : (...)
                            : never
                        : never
                },
            >,
        >[K]
    },
>

write(
    value: {
        [K in string | number | symbol]: UnionToIntersection<
            TupleToUnion<
                {
                    [K in string
                    | number
                    | symbol]: Fields[K<K>] extends { builder: Builder; name: Name }
                        ? Name extends string
                            ? Builder extends ReadonlyValueBuilder<T>
                                ? RecursiveReadonly<{ [P in string]: T }>
                                : Builder extends WritableValueBuilder<T>
                                    ? { [P in string]: Readonly<(...)> }
                                    : Builder extends ProxyValueBuilder<(...)>
                                        ? { [P in (...)]: (...) }
                                        : never
                            : never
                        : never
                },
            >,
        >[K]
    },
    opts: ValueBuilderOptions,
): void