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

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@1.1.0/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