import { Equals, Extends, MutuallyAssignable } from ".";
type SymmetricRelation = 'equals' | 'mutually_assignable';
type NonsymmetricRelation = 'extends';
export type Relation = SymmetricRelation | NonsymmetricRelation | `${NonsymmetricRelation}->` | `<-${NonsymmetricRelation}`;
/**
 * @since 0.0.2
 */
export type Relates<A, B, R extends Relation = 'extends'> = {
    'equals': Equals<A, B>;
    'mutually_assignable': MutuallyAssignable<A, B>;
    'extends->': Extends<A, B>;
    '<-extends': Extends<B, A>;
    'extends': Relates<A, B, 'extends->'>;
}[R];
export {};
//# sourceMappingURL=relates.d.ts.map