import { $ } from '../../../../../Class/$';
import { Functional } from '../../../../../Class/Functional';
import { Done } from '../../../../../Class/Functional/Done';
import { System } from '../../../../../system';
import { AB } from '../../../../../types/interface/AB';
import { CK } from '../../../../../types/interface/CK';
import { J } from '../../../../../types/interface/J';
export type I = {
    key: CK & $;
    algorithm: J<any> & $;
    signature: AB & $;
    data: AB & $;
};
export type O = {
    valid: boolean;
};
export default class Verify extends Functional<I, O> {
    constructor(system: System);
    f({ key, algorithm, signature, data }: I, done: Done<O>): Promise<void>;
}
