Type predicate

A function that tests whether a value belongs to a specific type and informs the Type checker of this fact - enables Type narrowing after the check (e.g., mt?, string?, typeof).

A function that tests whether a value belongs to a specific type and informs the type checker of this fact - enables narrowing after the check (e.g., mt?, string?, typeof).