Not

flip a boolean type

import type { Not } from "tsafe";

type A = Not<true>; // A is of type false
type B = Not<false>; // B is of type true

Usually for use with:

Equals