Type Alias BoundValidators<T>

BoundValidators: {
    [K in keyof T as K extends "is"
    | "isType"
        ? never
        : K extends `is${string}` | `as${string}` ? K : never]: T[K]
}

The is* / as* validators of a Typer, as a plain object of bound functions. Signatures are preserved exactly, so multi-argument helpers such as isInRange keep their arity.

is and isType are excluded: they take the type as their first argument, so they are not Validators.