import * as E from "@principia/prelude/Eq";
export declare type Eq<A> = E.Eq<A>;
export declare const URI = "Eq";
export declare type URI = E.URI;
export declare type TypeOf<E> = E extends Eq<infer A> ? A : never;
//# sourceMappingURL=model.d.ts.map