export declare function checkType(_: Type): void; export declare function castType(_: Type): asserts _ is Type & Cast;