export interface Guard<I, A extends I> {
   is: (i: I) => i is A;
}
export declare type TypeOf<G> = G extends Guard<any, infer A> ? A : never;
export declare type InputOf<G> = G extends Guard<infer I, any> ? I : never;
export declare const URI = "Guard";
export declare type URI = typeof URI;
declare module "@principia/prelude/HKT" {
   interface URItoKind<FC, TC, N, K, Q, W, X, I, S, R, E, A> {
      readonly [URI]: Guard<unknown, A>;
   }
   interface URItoKind1<TC, A> {
      readonly [URI]: Guard<unknown, A>;
   }
}
//# sourceMappingURL=Guard.d.ts.map