export declare function implies(left: string, right: string): boolean;