A function that checks if a value conforms to type T.
T
Takes an unknown value, returning an empty string on success or an error message on failure.
unknown
The guarded type
A function that checks if a value conforms to type
T.Takes an
unknownvalue, returning an empty string on success or an error message on failure.