Type alias State<T>

State<T>: {
    readonly [P in {
        [K in Exclude<keyof T, keyof Store<T>>]: T[K] extends ((...args) => any)
            ? never
            : K
    }[Exclude<keyof T, keyof Store<T>>]]: T[P]
}

The Store State helper type represents the current State of any given Store by extracting all properties (and dropping any methods) from that given Store.