/**
 * Narrows type A to the type B.
 */
export declare type Refinement<A, B extends A> = (a: A) => a is B;