export interface Refinement<A, B extends A> {
    (a: A): a is B;
}
export interface RefinementWithIndex<I, A, B extends A> {
    (i: I, a: A): a is B;
}
//# sourceMappingURL=Refinement.d.ts.map