Type alias ResultOkType<T>

ResultOkType<T>: T extends Ok<infer U>
    ? U
    : never

Type Parameters