[API reference](https://evolu.dev/docs/api-reference) › [@evolu/common](https://evolu.dev/docs/api-reference/common) › [Result](https://evolu.dev/docs/api-reference/common/Result) › InferOk

```ts
type InferOk<R> = R extends Ok<infer T> ? T : never;
```

Defined in: [packages/common/src/Result.ts:309](https://github.com/evoluhq/evolu/blob/037c390af081e9944d616ff298a729515c5c5ab7/packages/common/src/Result.ts#L309)

Infers the success value type from a [Result](https://evolu.dev/docs/api-reference/common/Result/type-aliases/Result).