U.Check | /typical/index.ts | rimbu@0.13.1

Rimbu is a TypeScript library focused on immutable, performant, and type-safe collections and other tools.

type alias U.Check

import { type U } from "https://deno.land/x/rimbu@0.13.1/typical/index.ts";
const { Check } = U;

Returns never if the given type is false, otherwise unknown.

Examples

Example 1

Check<IsEven<4>> => unknown
Check<IsEven<5>> => never

definition: V extends false ? never : unknown