UPD:

UPD:

Assertive functions могут быть объявлены через присвоение функции (стрелочной или анонимной), но в таком случае нужно явное указание типа переменной

// Через тип
type AssertiveIsString = (value: unknown) => asserts value is string;
const assertiveIsString: AssertiveIsString = /*  */

// Через интерфейс
interface AssertiveIsString {
  (value: unknown): asserts value is string;
}
const assertiveIsString: AssertiveIsString = /*  */

// Через "инлайн" тип
const assertiveIsString: (value: unknown) => asserts value is string = /*  */