Type Alias EncodeDecodeAgreement<T>

EncodeDecodeAgreement: {
    [K in keyof T]-?: K extends string
        ? [EncodeParam<T[K]>] extends [never]
            ? MissingEncodeError<K>
            : [DecodeReturn<T[K]>] extends [never]
                ? MissingDecodeError<K>
                : [EncodeParam<T[K]>] extends [DecodeReturn<T[K]>]
                    ? [DecodeReturn<T[K]>] extends [EncodeParam<T[K]>]
                        ? T[K]
                        : EncodeDecodeMismatchError<K, EncodeParam<T[K]>, DecodeReturn<T[K]>>
                    : EncodeDecodeMismatchError<K, EncodeParam<T[K]>, DecodeReturn<T[K]>>
        : T[K]
}