export type SubStoreConstraint = { [k in keyof O]?: () => O[k]; };