[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:275](https://github.com/evoluhq/evolu/blob/e7144e2bbe9069362b62dec1b64a8aa922b8f1b0/packages/common/src/Result.ts#L275)

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