import type { Nullable, ST_TypeDef } from 'SmartTS';
export declare const CheckerUtils: {
    checkTypes: (implicit: ST_TypeDef, explicit: ST_TypeDef) => Nullable<ST_TypeDef>;
};
export default CheckerUtils;
